{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# 15.2. Solving equations and inequalities"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "from sympy import *\n",
    "init_printing()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {
    "podoc": {
     "output_text": "(x, y, z, a)"
    }
   },
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAkoAAABTBAMAAACSSzXQAAAAMFBMVEX///92dnaIiIhUVFSYmJgi\nIiJERES6urpmZmYQEBDMzMwyMjLc3Nzu7u6qqqoAAAA1ApXJAAAAAXRSTlMAQObYZgAAAAlwSFlz\nAAAOxAAADsQBlSsOGwAACPxJREFUeNrtXEFoI1UYnqZp06ZJ2ouCIiTgSRDay15WIfWgeHBp3UNX\nxWV60MMKa3pSPEjqWWQqolLoMj0qHrKwIOtBEvYglgUTdlnWvZiCx1XSpk3badr8vvdm3sx7b5Js\nmPd7UOa/NEmTP//87/+///v/9zKGweVvIxZZkuGX7vZityhS/1Z9JW2vx25RYwl2lVfKR7FXQjJ/\nKD/Pwc3YKSGZgjk5lJxG7JSwlKRgysBZ7JI+MgFrwrMHsBi7pI/I0VOMsXsAfneCx4k44QbIDAQE\nqR4n3MCUOw6gvBv7Y4BYTsAxj2N3DJCmn3LTMaUcQiw5ZM+H+pVYuGThwHtgd2JvDJQibLO/Y3AY\nO2OglGHVg6Xz2BlDmpQzz1sLsTMGSgJOXLYUg/dQ+IYG++PEvhgiJmtMErzWxdJX8gy+J+ISN1Qq\nrLhV4oHAUJllUTQPG7ErhsgkQ6RSiAhknja/ucQePAUrKPXvNfurNXTzc+93vnAf7awjabxg3wrZ\nOQa0NbHV4VK6BA6w3YM8bAIU9L/9B6InKBEv4AxGUzaAN5Y2Cyga79nkwo8aRvZTyXWUCmQAFPct\ndd4wfgdyKZPOJSNVPNG/HnjZWPInEGMojqdIQYSNfMZw+tAEwEUjZV4lwSF6hDho10i6rEmcFSwy\nGxaM4k3DSJpet6dTJXoUA0+9Z9MAGAmSBCbUuPIpCn0swRUKQ12ieVX8h03sHVdJZX7LvZYeW6Ii\nKDt3Eb7eXqR8g+dZHVDmxxXXS1s0VOcwvPQJuBNb81XFSyVYJubL49ykU3MjqlM5Y0mp3eWNH7B6\nyhdjCfSjk1Fi50cTwNnN5lFwLg1w1WtrlcCwYI+YL1Pv+jFPUnq+YhL0Y6ly7kZQgw9sAKcJJat5\np0rMhBs45NHb3p4ABanzhFA2YV96d3XOT/saAxHQreGlOXeFGjzNMdZ+tsPUZf98Gyc008CH/yQ+\nZKReIv+pyA1K0vHfe8QolXaXl6beJmHr+CWjjXBVLT+AllAOXk34yEL8JdfMMvFQC6RvmTjklY69\nnjG1C9JUV4ogEqQYJSm/6NMZFN5r8YSjyyiTnzrJtnl5m6m1wXm5O8FM/aX7/dOHjDLxxRgHAob6\n8tBfaZRendi3HzyUN96aJJ0sudktrfusBmn7qbLnhuaer3gVsU1J4VBUYtVZwHrPlXa3S0qO5CUG\nIm5NmsO5jvkF14oFX3EB0UvlfRwjg6CYUePD9ZLkuc945unXNk8+qrklbg2VLvmohNPo2uDD26wa\nH7MEzUv9d1AsFFbjS9EnlUVUxS2cUEoK1b+sxsc0sb3aH0xNQD1hEdQNHLrkc0uc7CWA0A1IJBgj\neikLsG9gJgYv/0h0iUc80jC6IlhVVeODUKkBXsoB6jkUUv6XVX+hqN3FUZQXrArFB/VSf1yawmE1\nRggRMRVnq1grSdrBjUF0iWVcfy9NAOppnZZf2CYQ6dIDrGqZFSYfY6FlnCY1rtjXS000uuSNaJxA\nMRZdyppbaNQ0sCpElxgTsPpuNOHRJaXEtfDo0k6nhqQpCYFVIbrEWGW+L5pa6pxXdyzRQ+dhGftn\nPEIRWBWiS8RLR4QL9/rSJcyTX4mgNTLR6NL3eLxrSqZLSnzUSSKU+22AZ4MUeR6HCGz4ittY8elP\nml9BsO8kKHc0PlLXRTLVJp5q96VLPX5ZCJkXjLjw6FLZnw5mAMFL+3J8zJyKGN0jWXfSNwS9FElg\nZN40Pl1KBaE0pd1Lkep/GJQ7Gh9NwcolsrDTMlA83PUuy+PKExgJMutvLqHRpUpgdV27TUkETNKL\nj9aqSMzPCT9wZK9uu32N97Yyh93chQ91vLQbpks6GjN2cBnmDV2FaRD3VCmEFgviPGOD+kVuaG66\n9dqb21QLwcRjQSPj1vxp17aBoHEnCKUZ0DdRYipUh10T6/0qTcSA5pGOneGGzYEk1wnwPPppsBke\nS1k7WBMtjWbHXnnRjQPT0VdY5B9MuvuPKUdyYYGC+q5EQgkgJRweS3Wer3T7sqOBjgWuxQ8CHY2k\nKG0CvEmWN1cFBBMrfD+NtAYUQseFsUCGhZG4lzTmurJ+WHRxKWvOBcU8em+R5jCXF+iSjsZ5eM74\nhXz81gVh71lD4YwX4il4nXmpeSaxIpaJyyLY07JaWnAPExoPDsSVj96neoMH2gmcImhMwbtMKRMM\nEzNeQi2100yFtSqyoiMWZOcC53bIyox3vIO7qaCSsIMw65HBlqnLFr8W6JKGxulug3tFYBY6Jrbo\n4RXjPokjejQwBTWRErdZcRamTvPdNSNnXqW5cd34o7QvhgPYkalO2oYPjMwznR2RLkXXaN3gszNp\nsKhhYg6cXeNXeIc6pWe02tIQ6ZQtifBFOZse7muwhdmErtAdJ6qXm9EHc/eBnkIsSJtxkTVmPPRh\ncI1k4l16eKXNAp48KEhhtswCVSwMqZfst5gNyWvObQUKZzXGl3euwcoluhlX09eY4kv9ePP2GpaJ\n3/3kvMda1tTnnYsySyi4/d2IhaGp3VyUlFKtrxHdxD6Ms+E6a8ThbX1d8wtDcxNtjegm9kGsA49S\njXgsvqU7Ck+CMj5uzSFfE7pCAn7HHqUaceRjRRyFZz8OzZk0NaKbOCSHvRhKjXrczY7opKJ3rpPO\nlGsYGtFNHCJLvOBVFdsHkZ5u1Jjlg76qMvFLY9/tIY1/+wjb8Xu9kTBv6jDqaniVLQlCM6SjEd3E\nYVB66C/2SD9vfhRxFlvig4BHKud4tId8TegKCZQu+1x2pPMlVsT6YfIZV1Ed/1jYFQldIUmE7WAQ\nMQIwZaLeFK3q9aAJtWPPYN9mLYN/3zb7RBivjEDsZ6LuExThsrcsbSSN6CYOBjrhhwkZewTUs6K2\nSGWXcIyFfqVjYd+EBl0hKWwCASs/eW8yGTmaJ4/oJzMlNjpD0Yhu4mBMbUv17oldYvQfoWXN/W3j\nt1JoD7l8inxJ6ApJ/Et+sZ74i8rHNY3kpvJlA08juomD2sKuwo8Lxr8n967ByrPGf0/S6o/KqvEt\nmcOy01HifxzzRP//RLJm6ByZtRW7Re1OwufIcldit6gJ52P1P5DaVj+xIH7FAAAAAElFTkSuQmCC\n",
      "text/plain": [
       "(x, y, z, a)"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "var('x y z a')"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {
    "podoc": {
     "output_text": "Output"
    }
   },
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAcAAAABlBAMAAAAorS6pAAAAMFBMVEX///9mZmZ2dnYyMjKYmJhE\nREQQEBCIiIgiIiLc3NxUVFS6urrMzMyqqqru7u4AAABkHDeBAAAAAXRSTlMAQObYZgAAAAlwSFlz\nAAAOxAAADsQBlSsOGwAAB41JREFUeNrtnM9vG0UUx3edxLG99rZSz2j7HzgnJDjgcOOEe+BcV0Ic\nONCNhIQ4ES5FiKI6iEu54B6RqHB6AIGEcLhX2nAtquwLQhQhl/zY2CXhMbO/Z2xnPTtvxxA8hzaJ\nnV1/3r437zvvzUT747E/9rSLNQKsn7Ue+OPeBQMMsNwloMgYwrTxNFcQc+o9IQk4wLpXFRYA6MwA\n9EcTFbC0CMC2QsD+AgBroBCw7aqfS0pw47yXUQFrcKIesA9bygBXzjdmPqNxvtegAvbON2Yuw0jx\nGlTABl40C3jN38oAq3Cg3kMduKoMcC3FmLmMVsqnxwRMM2YeI9VrMAG7CwjBSprXIAKW4U/1HtqB\ny8oAK4sIwVSvQQRMNWYOI91rEAEt2FEOqMNYGaAJz9R76DB1mY4HmG7MHEa61+ABDhdQ1JnDa/AA\n67CnHLAAp8oATTheRAheUwY4hzHxxxxegwZYhA31gPahpgxwG3aV863DX+oA5zAm+pjHa7AAV+cw\nJvpozuE1WIBFeH8BITjSlAE2YV853yqcqQNsj9Q/wNI8XoMEWJvHmNijP4/XIAFOGvPRB4df5gw4\n4TW1L+wXd/MB7MMmK9zeAbDhuqb9PsiNrwZH7A9+tcGF44Fm/oAPyNfPt+HZnvbtaFDIMXvwjYJ1\ngPua0b5DBNwuNqDBGfMXGNF7tDaaOUrwHus1Zgtuk//WDlchKcFxADljGrYvMUpH7RwBOa/5Bnwt\n1X4lB0CH7bo4MBr4Dxbyq+ZX2a5LFeBO8GAhWYDGAWy53L1uBvMc5BeDa6zXOOAOggkd0GOQq587\n0R22Ib9aKdsoqEamJHNNEggFkOu6tKNKCUHNTaKyXZdStA2GoI6w00SHMaYeeSh5IbdicJn1Giv0\nUPICUwzOAmjwH5qtn/fiIO8B2jL4Afc92ygw4tnMYOM+C2D3gDcmUz+3ISpW1gGr4VThW3Nso6AI\nUVW2wMZ9BsC7/KfWmSuSII8W9w1AWueX2/xsZTEfgsxmG1FOZtb54oA1Ns9otHjHGTNaWaClwT5/\nJXPCa8KVxSX24/GA1cfTx3cJ0wEnAtn6eTN2EQMrDerepjr2J2Nm6Rt7FRf3POCMjV/xL911G8Aq\nT65+bscuUkDaxVVuv04+wSbrNfdYr4lioR7t4poKOIsv1GI1eKnDJhqCMWYzbqTbuHDI7qCHvwGX\nUeuM15B8ezIj7nnAd+3pfLeC620fkLQOzFKaNSZ5alG5+RKgbEtYJ1dpAVMz4LyGPLXTGXEvOsl8\nuOs9ow3m6nvMwiKOFqQ0WLrtPaNDxoxMo6ARTwt83IsCDvzLJS9vH7PBERuXC4esw/TtlrRjkem6\nmIn9ynzcZ0n0fUg6yDprzN7scJCrTzB7rrcZrzHOifssgHRBsjPDmDRLnKKnQX96H8/ymtVz4j4L\nIL3e5QTRLluNiVzEwFwNNpMammsUrMcbfCfiPtNqwk7KPa7rYjFpEG81WEwu87iui86mwYE0YD0R\nZ3zXpRs/3RU/d32NorcLiTjjvaaSeLoNL0kb16UAh4lUUOJyeTeOgaHP2thDmUqTCrF9yC01omA3\nfdaVUylAPSGc+Pp5PX6p5wkCE3B81IoVIt8oKMQvGb4gGD6VAiwnhBNfP9+Og9zywqGGVDhMKES+\nUbAez2a6H/f9a3Ili1Z0xYmuixPP2LbnyJUgXB/dkmuwrcWKn/eaapyair4jd7fkAAnFcTiRcFWl\nS5FQ1X09UByHcSK31YsqxOC5NPiuSyxULV8P2DtygLFw4urnHshmlLlo6PduhPKHf6vgiBQi3yig\nM9tRnKLJHGe4klW1WDhNnFqohq/Q99Dbdq+GXi1ZQowU4uTxDCf0jsCMlQPZsmE7yOHVCWMSQ/sz\nWO/Ioi+agaqjK2m5rUKlMNU7E66wEigZA172AIdjWcDA/fj6uT/bnfnOsuVQOaAfR/OS5MGf1bAY\n1HKnTOte4DdPqp4csK7JAobCyZk861IDlzwzs3tE6Inj9MaRSWT3dAcKsTrFUH14k/z7hDy9FokQ\nI7EWyAgYCqeWOy1W3tLK1miPuuV+LbQAmeVdyYwYKMQpXkOtuq99Ah9TRz7T+ieaLGAgnMrTvK7c\nANfHf0K+iN7w9ug9ydVhoBA7005IfUpb5vReZpd8sSUNSPPN2ayN9tUr9huvel89aHyUFKKSgLpf\nDJq+0f7H593XvJ8bV0b3NXlAXzh1hIpKpqSL+gqxLLaKzgpY8YSTJfSrZdmDI12qEHWxRWZWQE84\nmWLGrMkWMDyFOBQrRWbuDxLhNBY0pi5bwKAKcUfMa7IDUuE0FGtvFmXr+FT9fSWYTTMDUuHUFTvr\n4kjX8YneeyZ4PCMzIBVOggsga1MWsCn+Jymy9+hpE0PImKaNUloTPCGVHbAuakxdvgpcEPYaCcCh\nqDE7N1FKa2NVgDoI7kNrIByytyD9rAsWYFlwAatjNGI6IHpCSmIjUFfMmM2bCIAV4d2LEoCOUAga\nKIfTqsKHFCUAa88JvfsFDWP8tK8O8L8xloBLwCXgEnAJuAT83wN+/5COnQuG5kE9rC///OYS8F8P\nWP7MHxdtqgmwPv8HH95Ido1VbwsAAAAASUVORK5CYII=\n",
      "text/plain": [
       "Output"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "solve(x**2 - a, x)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {
    "podoc": {
     "output_text": "Output"
    }
   },
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAABXgAAABTBAMAAADXdnJWAAAAMFBMVEX///92dnaIiIhUVFSYmJgi\nIiJERES6urpmZmYQEBDMzMwyMjLc3Nzu7u6qqqoAAAA1ApXJAAAAAXRSTlMAQObYZgAAAAlwSFlz\nAAAOxAAADsQBlSsOGwAAE/pJREFUeNrtXWuIZEcV7vdr+vYsBA1BYy+IYDDS80NEjNKDMULQ2Psj\nMRqNPRCDD6I9ISKEaGb9448odBKCGtylR4KB/LGXmKCRaE8IYhbBnl1c3AVJD2gUX+ndnenZ6e2Z\nKW/d2/d2Vd1Tr6k7Tm/mnh/D0I+q0+eeOq/vVFUs5tF/YxGFSvMhjVNajWRJUir40h92I7GESsXh\nYjjjdNYiYZLU/RH7SqF1PBJLuFQLxxw8txWJkra8iF3NS5uRVEKmBAojcMiihUiUNFU2mLgKnYqE\nEjY1L4UwSH8UCZKhHDpCG95hlBWETpkQTG8WnYwEyVKDMr1FtB2JJHyqXzHPTtBKJEeW0ojMhc+F\nEp4dbrJufWn4+Q+shKt5Vn1DPMWhJNrWVqN0zdi/dxCmwTyVsh0zHDVJpmvQFIc0ZRuQQo6iBlNj\nUEWjD91iq9bwKPFqx7TMVSFsNzzFoaQZdJxwb9FiNqTn0Av235JtG0crZNxgBlQU0YZsikMaN0yy\niUZUjjGk0ljLUrZhJLK0HHrcsF5xSjbF4aTm0PsvdY0K45XFqWGlPRwbw7atWsuTDAtBccODkOHM\n3gi8WCMsN2eK/bZx10/lo+/5cUP+GkUoOlenptLQOuHpoK1ZJwgLAdQbimAaB0KcrZF8iv2OLpen\n8dHn/CytEgCLr438Hk1NtJOcWMgmQpukhZgLajq6DAxRB5Q3gXblU+wvLU2nYbPQuremB9ek4c2g\nqbEK7S1CXRHh65MI8A6NIbQSgTaeC4SN5k6xv9RAV6fy4VfHzz6ONg6KhTdNvtxFgFk7GKYaO4RD\nQ4TKZSEbuQR4ugyU2pWJKhB3CmkuaeJWi8gzcSEnuKa+fmlcAM+jnQOy/TcZxSu299yeDqYsYhUV\nbM0ijFUdCHrTgCvuoqNAyItWFaYQ09mWSWcmXicr4QvZjClXhttjJZ47GN0tI5P6sh32oEvTwVQJ\noecJjSPZqhDldI9SgOo10SoQSqyrTCGkM8jIr/ZQlWnhCoMMmXLTga1xWHMg+VqxaeaS4mi7iqaD\nKWyfTk2iRDQgnz7g1lrrwZW4BQX1uypTiOg1ZBZbldGr6GLYQjZlyhWYs9otNDwQ3a3aObNJ2pFH\nc+2wkcE9MmWnjhNTYptuRLq3DUglVoIrETJ7j6tMIaBX7Q9+2UQgrfVC6BmRMVPjeGzeMcDrB6C7\nBdt6rBsVC2poeca48SUcpmYQUbyqIUSEAHEoY+sFXHEe2i9RIeyTYAo+PWt/7sMmAsEBTifkWpQx\nU94CXuDZhv2mLFYTs0ygPrIDwd2pYAprlv+I+1SOU4DULBlwxTWo6lcnHItgCi59y/7YRwzTolP2\nZKFGleZMudR24rH2AbSU4ea+LTPddQqjrdFUMJUkzWKfRm+h/K8YgCnqwA8pkBoqmoJDj9if+oGZ\nSHBRL1z8NQSmXJp1bG7FsHlkD1Sq2+my4b4jpzBaCRGmMGAqS/bKMD69AeUmLEwBQhQJMhkRTQHT\nG/aHbjSUCeYzESZMEQZT3vNf50lX8rDee/9972Kl9/p1L37lZrVIylaTJ0XCf+X+4Zec91+pD77B\n+YxTGO2JeFcZRYMpcQA2sa9MNlWG4nIWpgAhigyVjAimAOk2hIbvj5kJ2fEQlignKr69/sM7nH/e\nhj4jDy+kTKlrVtyJolraKfuZFm7oH9Ff+6TT5f+CwtcT9teflIT0LaeQGUfDFtgIEMOFUaeAtGM2\nijpT4irFde+McepYfYhFFqYAIYo8lYwIpoDoJlnPuop4ck5s3uRbeTvDHSIn+yyjpxE6asqUhmaV\nsPMpauPkKeQSxcft+AXbeN2jpPp3ise/c8Vq4mSy8dRq7CGgyh/D9uCSYxouGY2izpQ62YLYovRy\nF87i6ZW4CvmWK2pTANK5QbZbSEk8blWky4cpaoNPxc7jWDwzvCOWrZozpa5Ztt6u4S9oOssG8uaY\naP3PEPrxd2KxP3akq++M/cUvCj/R3BgX8JIjx9OAIde4MFodGo2izpR6uY3pFc+DekbDFHDbb43n\nVgqydnQMEw7WzIXs1qOT3KQo5zhtXNGrnnICr2UzprQ0q2UvuKQuRjGD0PP/+v37ELn8Ewjd7a6H\njsQ/Y3Tll8JPxN2m6xZaKx9zsmzQuObdaJcLU6iNosyUOrFdMxnQw9MwBQhRxKo8pZE15mCYcLQY\ngpDdJcaHKcon3EexGx84/IqQZAWm9DSrYcsgrdsV23HLdLjW7PdEV9FT/nMQOoZn7C99TTx+7cTY\nk96DH3CfA9eOC6NcmEJtFGWm1CmPEJWN5cDcioYp8mDeWefVqNgpWMOMYcLlEITsBTc8mCLlroAc\nGrS3nSBUkD6rMKWnWU07IJ/VBNhyaHxI33PYvC971sU3JLWr4ixBhq4UxyF4BQ23XE8CGoVxYbTE\n8Z+Ko6gypUE1RFuDOIgn0DAFCFHEuLrAThFIoqQwoZp4vLSyz8mKulc844hPacQA9hETpjQ1q2y7\nq55ma1bbG81q+J15HULMcUEe/IgCujJzyX9C245jA9XTL4y2Ng1GUWZKg+pMo2YKTIgLVH4PQRS4\n9eSI2hS0ZDoKMKGaeLyCXp5z1l/niJ9mrbj+YNGEKU3Nqtk8tzXR4fpJMvRyTAZdkOxwU7Z/q6Ar\ntXGgV0GOyBqw/fELoxUYJ1UbRZkpdbLNEO3esnCLJemKQYgCp2XzalNQFSQlmFBNPB6UwjnWI+W/\n7WB/GX5opsaUpmYt2Yrb1+sPSBGrC9fKTzrRB/nT27zc9DYldKU+74U0zrr/HVwU8gujPbjIozaK\nMlPq1GOrWEXYgJIdAyBEgWPINbUpyMejBhMqiccHseFiSCy94asaVqFinVeOVGNKV7O6dshQ0dv3\nnt4izZ8TfDEbIZMcS367DF1xH9lwUjZxfu+j4IqtevU9GKZQHEWVKb064gLr/ecE8SS1ElkDu6g2\nBaEALSWYUE08SV+0MEzRf9xXA+eD2f8YMaWrWT3bKjf1+nLaO3TwZT+ZC/QpnAUw6LVuUjumKLPl\nl/EEScnEFsAwhdooykypUzaYSyGwaEB2DDQRpyC2ojiFR2cVYUI18UycGgxTNI77xQ9R644qU7qa\nNWvzXtVT3ibpGk7bU1y2ly+dRtYBmTsV6nmF8We3fW8rSCSJwii0FVdxFGWm1OkCQr9RUt7YJJqz\nYB6THOUFphgThlqUYEI18Uxq0XBc473dFdZ3lZnS1SxXebW2X1Lfx1AP+iYrgEpQH6ymFF3x7M0R\nP+K7Iiqmzk3i9vk9jqLOlDp1gqaMAyiUfVfMyYeSHOizw7OW55VhQjUhT1DALJjUf9cP3wUNBupM\n6WrWLBrY2k0r78/fBOkf7tAWbecqDpjHPJylYIxXkaIrgNO8KCqm+ktSuJtCOIoOU2KpkPMFzGwL\nBsomrhiGKHDctwr/pFPcIoQmTCgUD9l/IdxN0RS0uKkzpa1ZeTS0F/JFOpHgkLtEs+usdQhW92aD\n2mSbuGU9uaaFgRRRGC2JjIdwFA2mJFIhFlWw7MxR3glMAUMUGCyF1y3ntJxZla4oDfGQKWVf1LxV\nFwTO6kxpaxagvLO8x+SWTVKXWcaDdZv8ReD36W6564kCKaow2trc4ygaTEmkQuRSx4FpQOs26Rio\nw88eVl5wCk8TdfeOCsVD9hznBVcSWaLAWZ0pbc2yh2aVN/E5+CkNHnDf3mWdHwrUiWcugpHPb7Xk\nKgykqASiItjOJQ3HFJmSSMVPmKG+WI7y+q44yym0w8rb5nYm4xB+tBaekMlMWHT6uDSvUGNKW7Ow\n8ja0Erb4FTYwCu4FzOzAOadWz6EokLKf4FGooqM5SpiNkG7yDvb1c8IGH6bIcN4HY96iYOuAQs+h\nhngoANsS9A+LsxNlprQ1C4cNesqbuxL8/WxYDSmvdre3KJCaQBSu8Hb2NkqoLeiYzoEmqMXJKL2N\njV1OCzSovOdEEb6821tDPElKrILdFOLsRJkpbc3Ko4FmqYw17k4qw0DaaXAh6u2zEQZStB0o8rf4\nWLJjkcw2/wQCgeEymBce4yTiV8cPiac9gMLAU/ikB7oIxUM7tC5/k4EwcFZnSluzcKlMD2FLbQRZ\nZ9tE8rAXwQj3E6qbNoSBFNO73RjuaRR9piSUgY985hmm8cZGi6dAEMKWkZ0qjXc4KrdqCMVDt8tn\n+FvM+9J9ZEpMaWsWBinKWjubS1sBDx44srDHKbzq7C3PIYFDYAqjS9zObOEo+kxJqDrwxnl0lVLe\nBV7EueoY4B3eEg2W0DhTEKSzt1woHnqjUpbfvtWU7yNTYUpbs2bRZqym1VVmjdjFO8RJN8V9n9d9\nqHGqR1q00YUpjKa5MVda4RzbEM4/8ZTtXl9fV8mohpdQujBFntesmQp2lXGmoEjjVA+ReNgtovUR\nP3CWnwelwJS2ZnXt4HFJr5+3zhrBk/hmO8q2NLnhufp5Sj3/kSeCz5YRJP8+GOEo+kyJqTJa9fWV\nytp54aLrimu8XYtAIzBnCprUz1MSiYe1CDVebGBNyrHvjpkwpatZuGjYlR5pQBvzNcZnLF5AdNxv\nCequKjuZvEBqPFFvJxiqMb6CC1OIRtkDU5IA0m+XKY3owHKNV4zaEJm0YkDreVMwpLwlTyQe9oQy\nLkxR8suxlih8kDOlq1m4EX0Wad3SuLRAG71Lbg8FMXFC5EVUzxCdBFKVgGebYZMHLkwhGmUPTIkF\nM1Gn+Bbt/XkLA8MUgmAyEG/wpmBJ9QxRkXg6Q7Y2si0LnIUPXs6UrmbV7MAmr3ezTJ76DW0cNPXp\nwPqCMAwpSiAX61HXmPqBVD3gdNusRQrCFAqj6DClQAXCMs1cpvOuVa7lW7RjB+6yajHGjjtFgF6T\nYIdy8RRYfwzAFH9ec02y9wvSYhcuY0pXs8r2opnRO7chQap6sYVtXhxv9pzYvqr43D4J5OIWPwr+\nkYjZ4KOvsi8FYQqFUXSYUqDT5P1VZAwuOBcDwxSCm3M7jIfhThEkCXYoF08yINIATDGuhrT9uHRJ\nUtmRMKWrWfhYizjSOhvfahH+9bSbKlXJW+1SsjNz8PYFLuQSd7cJ5PwsIGhigjYgAFMojKLDlIpY\n6oSVrGxTmQ/Xs2GYookEKnZRbQqAzoqwQwXxBJ1ZAKYouwXsph/ddCQPXsyUtmbV7UWT1bzNrD/Z\nmVFouRFJkjygpyY/w0QAuXTd8w/zfqTePxYUfeDBsTCFwig6TCnQzPDTbofv3z7+se8jupYuAADX\nLQHGtURXq/hTgAtDgB0qiCd48QALU9j5pMNEywPYSvKKmRjQ1NQsnM9aSO/k68yk9Nb3qmzNSVoY\nV8E8+JBLzT3/sNIaG4VisEIzG8x7WZhCYRQdphSoQTWbnaI05aogYzorgAl6dC7HnwIkAXaoIJ6g\nu2Azy5TbepAYepa3q7CRVwho6mlW0TG6dckBigEH+fL4v/M+LohjE9chZOtKB6ZyIZeyw2sR3TqW\n3rlLgOgXZUVJhVF0mJJTku6UnKOyMr6R7KIbBCckpan4SDAFp4bFxQ7l4oFK50xNL+4ekNPdqLrG\nxKqrXHklAjT1NKvkeI+m5q0kF8aDJIgm+YfxHE98+y8P1hUhDx7kUnFsSmZ9fJWDVZdCFK6sr+qO\nosOUnMq0Zh2lrOsC34sJj+fPUdCVYAoOcbFDuXgg0JJBUxJu4NyYcy+HiJ1TOzVMBGhqaVbOWXl9\nzQswi/XhzfYv/ivZ6G5VfakqZj3PwpBLDz2B4/Rj45twHg4mO+AlKszFZvJRtJiS2xOmR32Nyiv4\nepYVHjpWIotsoim45TsOdigXD3SJCoNjW2hom9rkYHybVLa1oFhT5AOaWpqVdnKJnt6pI06WOngR\nnwpBrMSsF5G9rDoKDLkk8Ha9N+zgJ442V62/A812M/AlvSt6o2gxJU/XGM1aIZ+xKB+uixpLLLJd\nSzCFQFFg7FAuns4QqlHQiXJltGhHAfdi4X899npD+cQ7AaCpo1k9x9tmtC9BfcYZjD70r1BVPtaf\nKFoHFeWf+JD5jzpeyv7nl5DZOAq9eERvFD2mZMTuz6TMpygJrwlDtgbxqwRTiLxkE1QUmXgsqELC\nFkZKLfQ0Wl91UrendTaHc5jS1Ky+I7oU0r4l7k/fu+sX17Mv/vSWu+67WWeU82DE99BLg8ecfz7R\n+sljUAFpCC7ZOb1RNJnaOyWFrSNpYZRVM78jEe8hA6odEvFkwe7dJhPVZm9pfdYRVeqrw18tmzOl\np1lVx4hZ4T4tDTqjlHew3uvX0KsfXDlQpvg0K8woiveJvtsL4RIpq6zXeOXSOyCNSD4QllD2xhRT\nzHMTgv2411uNEnetxKaOwmWqb3BFdDKUW+3f84Xpk7E5U6XxFqH2//8WwcNDDbT3drXCwVxpfk1Q\nZlxmmAnzisOImCzHRP86BxXQTT/1xhY3eyDXvh8OShkFd0sGMcdbnGpeZtJRqxpGpE95o5Bs5gDu\nNL9GqOV5tLZed0NEOgZi3uDbBb1dLofKo234we9OJI79ofrA6OsNtBrJEKK0XwIvhlKSiQgyEGa5\ncPfAqphT79H8VLYSBb37FfKaBWSJKOjlhLxbRGJwKpLHflBzaOj2O6NIiADliJtWiq2NSCD7QAXd\nhr0AnTZK+N6y1Cahn6UoMdiftOKo4QjZKJcG8+DLVGKxEEkkfCpvGg9R24zEGKA4cwpUVFAMn0oh\npBK5qAYfpD6dCWRC7QOMyI3MhiEEY43LkSADqcRJJq3djYQSMhVb94YwyozeyQSHgU4PGKOQjBqY\nwqZzo1Cy4GrU80eTVQ9cX9s8EYkl5JQ4nCQ4R5zWFZFNaWBL+d2RWMKNGsK6qeWNxUiYVNTgp2f/\nA8wwwnqK8xuMAAAAAElFTkSuQmCC\n",
      "text/plain": [
       "Output"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "x = Symbol('x')\n",
    "solve_univariate_inequality(x**2 > 4, x)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {
    "podoc": {
     "output_text": "Output"
    }
   },
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAoAAAADIBAMAAACKd004AAAAMFBMVEX///9UVFS6urpEREQQEBB2\ndnZmZmaIiIgiIiKYmJgyMjKqqqrc3NzMzMzu7u4AAADrILGIAAAAAXRSTlMAQObYZgAAAAlwSFlz\nAAAOxAAADsQBlSsOGwAADeZJREFUeNrtnW2MG0cZgNf2+ets70VESFAhfEj90fbPBUihlCiOaIio\nKNmk4QeqVJwfoPwowoeKRNVAHSlRRD/oHlKRAEF8tFIQooqPUj6qpPKpFVJpozioicRHhZ02LVGK\nuNzdJtlzmgw7Xu94zzvv2rf27O7k5v0RWeeNvX525v2ad96RJIfIb0lCqHJqoKsyVTQjWNFkAj0+\nCD8VoWkBiyZ1hO7te1GuipAYgXRZMNA82e+iknHRZcGKKmnFgLPV/ZozxiXL84IVXd5F/aZn0rhA\nnxSkIDmHx5fbBQUkLIirvGgAegp++6Lx9hcEJReRDRurnQbfNTwYXShAV0kYY+w69Oa48eYmBl/6\nzvN8QXr/gUPawfub9DfLBiRoCOYRajG4n5xyjSt+f0NtWaQb07jx1n0S+NbTDG6oiFb4srTaQ/9+\n5VHQnSuBw6xh6EcGGvC7iCuAUWXxdMferoCKju6pGCZk9HPtDUMvcAVwSjc1XM647120C7KQGcFO\n9Oxob+aPG9W2OuEIYBYd67yqQPddAZzpMRfz4lHw6Pvi61wBHNetVymIBwY1Twe7OOK7+caXjv4S\n6wyOANYun7bZVKpTlzbe2EBXgUtMnilXAAtE80UNTh9Qr1EQukHXjdsEwG42TwaVd5FqbdOQ1VlX\nAPEwQg6WvYaaquwixvVz6x4gnreWhUCQUZgwHObBbcs6HIFNMoUvg670PA0rktY9QGwg9C7Lq2BG\nxungLFDH5boDOEXCDDybl8CkgVPb1Qn6dQ0wt/me+a5VvQQCnKEBbAmAPVZ1gwQFvdM0gMsC4EBW\nNUn1+ATAgbw92GUWAJ1B3U4BcAhrYlCaFAC9SwpOLwuAA87gOQHQu7zjUoEgAPYV+axbKaAA2Ef2\nHDIIuRSjCoB9hl97IezwpADoVbInT96eR9pjAuAww7AEl1IKgINIxuDRFACHkDJYRCQADnrfQKmQ\nADhwMHxAABxCVISuCIBDSBHKqAqAg0kDyukLgIMJXui9IQB6F7wock0AHOrG6asiAqBLBPfAUWI3\nYghY6RUAXQ0HuVm8MKwLgGsTxea6CICeMghdNjFoa6YACAquOSCF0SlhRLwB3GtzY1YEwLVPYSuP\nuiAc6TVL1u65TEE7jwRA1wzMFnsyYU4AXJuUl1+2w6QT8RlgCio1DqOc7yaw4I02PgMc46kRTbRb\n0DEO7vvwGWDZrU1D+OawNtlVgcDM8Q9g5vhL38OdVJC+72fHX+YCYBpdaRKXcDpogHVkkxYfQ/BW\ndAWPwWweoa9IAqAHKSF05/4/GROnMxSDBJh765R1E/87yUtbR/mr5gPf0ZQCB8ip/OMWRXvuB256\nUgAc0tAIgAKgAHjTAWwIgAKgAMiHZARAATCEAKdG3/npZpWobemuKxWoHlNIr2SphYNFnjLvAQt1\nua7AqPfYzSgqrc2YAjX5EOKQPGW5KceoBfJNKRWKuouLUzAGlwVKfn2MNN0S0ldilA0QNWj1NrtH\nvedI+8XX0MG5UNx/erP2ocA96V5HsApUIuUKSDP97iLaTl3oO3unz6u+uaqmdP2wpOJU3bk9DzI3\nwzcGiU6wvtR/Ib2Hg7yYdkSK5p2+dtJ3/3FqcT7ddfqLlK8vsz7Uwxm2jQHN7xJty1I2HnjecB3T\nqrNvXgNuUMNoAOKCi24DP8UZQOUQa5825uggWAS6cxfvM/Fei+um/7OL4hP56/+cX2nPoU0krHLU\nfkUQ68SIrPTEItAMTps7ZhNIb3xgXrWBog6AXaGsvNgN7WCqEwqkKU8+hVj1QrTb3FUDH2oeWF+y\n9Jyy1xy4uyghoK8jMIe9rSxR4hFKABVjPgJ73WZ8lM0s7brqLusxY79njKbuKj574DHsbUUJwDHK\n40v70L6/tGrkXzCGfJM6g4mlXTafrDNlGPE5EYt1CW4Du43MnWlarMp6UsTsgymrAiexpFYsW9ze\ntmhct9d50c9bvp4DVppdNe4qtIa66eqv/UgokK2ct0IdPmrbCO72jImeCD4MUWZMP2yO/I5g7iPe\nrR+Mg6WEhb1E0cyGJAzNoY4GIm5gUCs5+PSLphkZgYfJWRFznVGbfQ+SXDSxLRI3MKg8etbg9uWO\nD70I5GG+2fV6JkMCMLrFNMJLsBvo5yTe0j6OtNUvG1DyoGgmEEVGlPOOECMcWctn/us4VV4gmSna\nLbv88jfbHlwVaX2TVKqH+lyWACdINmlsDQ5LCgGy5BGg9E+c2lf6H+Ule9npwRJgjfgu9TXkXSYg\ngFe9AjT8uuvYD3i2zzdnvCQ3WALMk1C3toaDtJKH6Pz0LR4BykXs3uH9EH3OvkyEbcGuOyNKQbmB\nWJ4xzcfrfc8UToXHDbRmxHWinYMr6Pk7QtpMxyNszbtduRAeN9AKjLYR7RxYOQVOWXzcvIsqvCkn\nbG5gjxHOBOgGlropn37nUZVCtuLZILcboHa+aN9D2aewSGWd312jlMkDTQVWTiGvymAlXZOicjd9\n/Z1QAMyTBbAF1stvoPSkUItuJ+NmyJtyOKaySvK6tZGfpzroAKyuTqHG3E52TZD8eTIcU1kJ3g10\nFHeo1ONb3p7rxJsHOionHCWYXfMXmBtY7p2yDdpyR9wclg2iqado1R/eSjt+N0SdjU2l0I0f89KO\nnKM4JkFbcCuaEUiJXFylaGxvpR2RYUraFSs0TwJuIPPSDsP6a6vNAV5qP9Cba+hE/4oViGR0ulPm\nwc2uDbMYWrVG4Hm6G8i+tINSYVl0LqWmzZqDpGaNwPoS1afw4osVhqlnIPVEBfpXsy/tUJxF0gvO\naoi4WYhQX8mbtymru6g+hRcU+H95DsIaHTzQahjz0o405YsjTkcmadZ7FDY0TDfmwiI0lryNQM8m\nPdaJRMqA88W8tCNFKeel7L6RkWYMuYhukMToosomQB140Gb4f3ne15M16yvPaSrdDWRe2kHbWy1T\nZmK5NSll1Kex0tkqvV+4DNnTZU+DSPM+SM6g5dPSX5SnoEVh1qUdRdoDclatShkFbW8veRqPdDtq\nAbbWW2nHo/pj3hvJyAYhBV0FF4VZl3ZUaQq8RPlj9BblcFvJpDdrR0cedA7RiSf7sKJ/rpmG2qux\nD4Uo7lPF7zZ/8tB6PuZzaafdz5x1/HWKQZe69I5uwP1m71dmh94cyiSZ9cy3uqDupl8Spe7WbDDY\nL5xAyx3FKT/iUOuZoZ9XBTpBeRgpoU91Xv1HBeZIhrpfuM4AIHYuP3uiKb/yY9X5WxNeo623J4nd\nY7BF3LBPy/tPSf+9/SOghvWvb0zEtj7tULBjHlczzlmp4CgTG5K33fNMmAA6bqYx6+1DC9b8GadN\npFECXJFCBNA5X0vesjFp4vFXmAS8NoCTIQK47ND2suLZd+nkNhQma8JdgFuk8ADUnennhEcjnLIW\nsSNstlcQgE9KYQComOOPkr6v7/T2meNWFqLMpqojr5n8Pi+FAmD2Dxt/+Mn7qfHktNfP1Kc7v4JJ\n2j5/6Y3ddx388KQUDoCwj+01Eo5qVkaETeSZ7+9dhQJgZafXDy1sxf++ivT59Qww6r2i4AJ6UMr+\nntm6GycAM88PE60aon1dWtcAhxH5YUVn16dhHQBkKwKgACgACoACYJgAnt343L55vgDmdt/9me+H\nBKDc9tpaMzwBfK+dTfhNOAAWtYdOZX+K9NP8AIyjHSeaf1XRj8IA8KK5GarEz8Fe+RvVe9vZDnh7\nlp8A1WPtF0kmyxdsAOqtZvtFGax+8hOg9ZEFbnos560F7Bj40P0DmCAVEAvum8lCJCUrUSmDe2f8\nAxgnldgJ6jaKMEqR3Gept5Dcf4BRshc+yk2j+TsmrVdTtAoYfwHaRGFRx8JWxkJyOKllRbixw5bE\noCrkQAAWgSa3IZY41Bk6EIAV1L+9SsgkHZITrk2p8XfaBr0MMCiAUyhk294H8CGgLURBAUQcArwU\nGoAN/nr141ryG6EBWEfcOYJZ6JR63wC+ih5fBZCDnGC2oM/YAV4PEiDegzxtn8IcjMDzts1PuaBH\nYMKuQzgxIiWbqg7ciIzbS6OngNMOQiZVW2k0BrgtSIApO8AaH6fUqzaAGQR0rfMLYMw+hSt8HFtX\nsE3hNNQX0C+AEfvukFJQOyvXJnnb7pAEZPf8AphGyrN25XKAA4AVrbstehyKPn1zY+yhByenri3Y\nQo8JaK+Sb460rRA/zUkuYdymqCvQpAEBjtpM2jpFpTg5uTNqmzUqtNmLbl0YABzvDukaLxn9KtnW\nnAEzmL4BzJKBnuXDC8QYLtuAzK4F4AIDLVWxHuFF4MSX8EnamilylX7KDwhwggHAeKfFd1ZFrSYf\nAKVipyX0awgdAy5JQgBHH6xWEG7hgFum7+WEnzG8rmCC77qs4dBPwk2xSJdEVXR4/08GaNcfIrkN\n6fte2o3ARkM9B1Kt+uvoM55JtV3t+VuJI3mkfcutOdcsyfyAE3toye05pP/qiMSVnL1LeeKjLjqb\nru3EGeEDS41eKaXwV3wRkBToVRYlxE8hc6AiA5nqOh9J9+AlCRyFG0GBNabnSxaAGgFwIV7IgLqu\nxE3EH6hkwLbFKTGHB5HzYFMoPIevCUD9bLAKeys1FLLDk8Io4wgq3jfzXEsCkbtU3SxFWWjBfvIa\ncjtkDw/BRQHJRaKK++LlGQQe1iyk4+q55obxqc3oY4ITJC/2dVRwnIe+LUjR5Q7U7xRNXJbLXzGz\nX4KT9lrfApXbOKliCSiLMMDs/LNwZQCpD2gfPvFpMYXpU/gJSs+9/wPqD1SjKp2RcgAAAABJRU5E\nrkJggg==\n",
      "text/plain": [
       "Output"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "solve([x + 2*y + 1, x - 3*y - 2], x, y)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {
    "podoc": {
     "output_text": "Output"
    }
   },
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAACbYAAAD6BAMAAACFCZ6lAAAAMFBMVEX///+IiIhmZmaYmJi6urp2\ndnZEREQyMjIiIiJUVFQQEBDc3Nyqqqru7u7MzMwAAABuCl7zAAAAAXRSTlMAQObYZgAAAAlwSFlz\nAAAOxAAADsQBlSsOGwAAIABJREFUeNrtnV2oZNlVx+v7+9RtDRgRY7X4IJFATZgnSbAafRBUqH6I\nBs1D9YsoRqg2ghDDUK2RRBJCDYrGF6nWoAaHpO6DYpxRq02UEGlTF4QwdkzqgvhgYlLdM/01dz62\n99yPqnPvrb32vrXX2h/nrPU0pCu19/nVuv+z9t5rrZ1rf3dt38mB9o1cyu2bu27Hj/YYIANkgMD8\nvg3/e1LN9nNLsbY3wP/fi+L5dEtbJB47Hb85fY0BMkAGKLeFuAH++zyhZg/1tS2aijspj9uGCnLE\ndk/xcmGADDDjACsK8d9S214Wgb8UdX7aV1y+tMfBB8YMkAHSznAqrhJo20jcSru2tYW44m70qnjK\nABkgA4RsKR7ga1tFiN1c2q3jMiYfitcZIANkgJDlBbgz1j+vbVpfOjj8bOqtLsQ1V2OXHY7NABlg\nIAAnmjo01de2ohDX069tubG7N1dPPGKADJABwlbTXD9eQtv6jk+nLdlMHDjK8CkJt0dkDJABhgCw\nKcTncLUtmup9Y+jWcvb73nPm0wyQAQYEcK4XZelrW1WkPrntdDn/wM3Ao+BzsxggA7Rgdb2jZH1t\nG6Q/ue305SX2XYxbFimp+mCADJDUDpeQb2FqW0lkY0l69KS3XIzbT8eKigEyQPqJ6mThaWvbvTQc\nr+suCVxEqNE0NSk2DJABUi9KNQJMbW0bOS0Fsb0keMb+qFUB15IwQAbIAFcq/CqetpVF+uutEksC\nBwlGg/DLhRggA7S1KNVIcdPVtpmj7U1HSwL7P3JTaO2PMkAGyADjRak61NLVthH2DkAkNpk3SwLr\n5cpV7DMql4CDAMgeaAjwm+4AHi5K1WkymtqWF+JN3NktPfasooMlQUeIvdQADgIge6AZwLZwCLCn\nsSjV1LYZ+ntk7LFnHUaptsvLDhcED1IEOASA7IFmAGsuta2qUbuhqW0j7PV/S/jsWUvrNRhV7LMa\nt4ADAMgeaAhw7hJgW6hLKPS0rSiwM19q4nbOX6tbT1TuYacPugUcAED2QEOA4wOXgCbqPGM9bVug\nV+/OXTYX1YnP7WbzRQJ7DeIWcAAA2QPNALZcFb0e20ydjKenbRP0jrujg5zPNrCc8lJH3zt2DNh/\ngOyBZgCrbuPesjpjRUvbDhe3yC3rSm5FX2kNy6nKS+y+n64Bew+QPdAQYN9x3DtVHgFoaVsFPQOk\niv2FyFYUOkUdeDbEzgBxDdh7gOyBhgBHwm1dfU9Zl6albX30buJL39uTT4XNJUsJPTB2Dth3gOyB\nZgDbrruPHwa2txG0bYwdVRy+JTxvptKzWq1cQw+MnQP2HSB7oBnAiuu4Vx3Y6mhbET2qaHt/5YT6\nrYDsx9dTBthzgOyBhgDdx73KwFZH2xroUUXd882OoyKzBzZ/JuQowj1gzwGyBxoCnDiPezuqWikd\nbeugb7fNvG8UFQmLPUjz6IGxe8CeA2QPNAPYdN/OcaFKb9bRNoG+3TYR3vcuHli8jXUHPTD2ALDf\nANkDzQB6EPeWVXqsoW2Hmo7c36gZQA/fhbD363Ww+xv5ANhrgOyBhgA9iHsjVcyloW0N9J51BXcX\nZ19ijvZ2m6fYOeg+APYaIHugIcAudqHSFtZVBLYa2jZHz5BeBHBVWBN/JS6zlsDusuIDYK8Bsgea\nAYx8uNBzpghsNbRtjJ5okxT9/3r/Jw4+9j5Xmx/Rr0hfPyNrrU9r6Cno9gAHCpA90AzgmbiXFuDX\nPiL7l6riJFmtbSX0nkxJ0f/f46ZPr11z41nfknfJmlsr6OsLcT9UwGECZA80BJiMe2kBtqdvbBtt\nqrWtit5tpbzev/tPcfCu7/zN24V47GT5XgZC0h1h67bGEfbdafYABwqQPdAQ4GC9PUcMcABElAJu\nOafWtiX6UcJi1QyuNH3tiNG/WS4MPrH8FPCsgrDU1jnuO78fJuBQAbIHmgGM1hMjBvgD0Nd24baS\nam2bCHETW4pPQfaf7q/gWi/haH4lDqWfgX5wK6/yuhBPggQcLkD2QDOAibiXFOA/HIoPoG1LuOec\nUtviLJI7uDOenoJsiudO/qtn+7XZeuevHm8TyI9Jxpa8faHR+t0/wEEDZA80A9hYhTuEAL/4x8e3\n9ci/tQZnySi1LS+we63kV7sI1aeJWVpvMyoOPjCCPKtnqVi5gz2OFcAhA2QPNATYWe1zEQKMY7a/\n+DtI24qwNim1rYZ+lLAW/fmj/VWQi34jA2yFv/74j+znQM9aWHqTj7GPEqwADhkge6AhwFXcSwnw\nxz77oZ+ITzJfBdeUzxho2xL9sKa3Ev3hKuaOE00cZIqDnlVHT6mV7qpcCxVwmADZA80AFteSQA0Q\n1LY4tLtloG1d9Lh4uvq9xGq9HAkn51SgZ5XsrFIK6It+i4DDBMgeaAawsVYUaoCwtvXBHA6ltgns\nFVNxtW/ZTFzVKoSLZoGgZ+E/+kbbwV702wQcJED2QEOAvdXpIjlAWNvgmau0rSXwLwW+lXgtnR5y\nC+GiQg32rImVrdw59qLfJuAgAbIHGgIcP83ZAghrWx2MOFXaVkGvuJqfFf29VUDr3VtzbiUvfIhd\ncWUTcJAA2QPNALbWGSPkAGFtgyMvlbYt0MV4LfpxZ5Wna0YPfPOshY27vWOXeD5YwEECZA80A1hL\nbOBTA4S1LQIX7Spt62G/OVqJua63AuPY9qFvnlURFq5RK2Iv+q0CDhEge6AhwHliytQAYW2LQ87b\nW2sb+oqpmphM+9f+cnfN975vnoUuO1YW/VYBhwiQPdAQ4Ciht9QAFdoGhl4KbcNfMfU3/pZ19HEQ\nPCuyMSn0Rb9VwCECZA80A1jarDY0ABXaBs5doW1F9GrS0cYgu2GrLPgynhX/M/mrvIddTWoVcIgA\n2QPNAFY3LwNpACq0rQrFnAptq2D3NW5v3m/sOzmAV3lWx8IWzBD5xg+7gAMEyB5oCHC5uRswDUCF\ntuWhRbtC23aw++9UNov+UHXXoBPPmlnwd4HcQsou4AABsgcaAhwe5OwBVGhbE1oIK7Rtjp2zstzY\ntaVtY8/08p7VQE/uu2At7LZXdgEHCJA90Axge7MiEAFUaFucg3J/S22bYMfEw41L3Bp6CzMUz6rT\nOzz6EHYBBwiQPdBsiMrmFSwRQJW2QQKl0Dbsc93mZtEfove/RPGsPH0z1h3kF7NlwOEBZA80BDjb\nPCEigCpt6wALS1jb2qa7QT954SWxSfS/JsQncx56Vlug91O/uEIy29B0DNh/gOyBZgBLVy9ESnsW\nAaq0DZo9rG2mr436+f/3bEOJRPQ/Qnwm56Nnxav5N2ln0DHb0HQN2HuA7IGGACePzse9G6rA6ACq\ntK0BJHLA2lYxW+43x+d/mO6FifzCJw7H+GjOT88aku/CDI02NJ0D9h0ge6AhwC+cl47CRa2lBKjS\ntgqQgAtrm+Fu0IVT1uiC6EdH1z387jU/PatDXqtstqHpHLDvANkDzQBePERdXIh7SQGqtC0PVMvD\n2tY32g0qiPOlvoWLXYebL730UxNx8A4vPWtJ3dS5ZLSf4h6w5wDZAw0BdsX5YvTuxeIDSoAqbYs3\nJG9tpW0Dk92g5vivzt/VsNicaBd1Fb+wK8/aoS7EKZtsaHoA2G+A7IGGAL9wMDqnLZEkl5gKoErb\ncsAtDbC2jUx2g+ZPvn5eVAeS3+kw9H2856FnVQSxy1dNNjQ9AOw3QPZAM4At8dzsXNxYlikJEUCl\ntg3lHwC1LV5Jb31Kkz98HZzbCY2kBSQdIV7w0LPy1H0YFgb1uj4A9hoge6AhwM6jC3v1C+lsaAAq\nta0jr0oDta0kDPq1137vQvZJWXorzeEjHPjXhcEMgI71DZoP+gDYa4DsgYYAf//ahQS7gfTiLRqA\nSm0D5g9qm9F1qtFJwJtg0ZB+G7Ql6NCzIupLKweHkXzIgL0GyB5oCHDveILJ18FU+mEagEptW8g3\nJEFtq5hWfLTORtQd+W2LYxud4S/tWXHqJOmllUPDXgSuAXsPkD3QEOD8zJovD9wHSgJQqW0N+YYk\nqG0N486U4zNvHbnox68PB60BlZ41JHb4qWlqpmPA/gNkDzQDWDuDpQGs40gAKrWtIk9wA7VtZjzb\nXvKXKQKHrksnLZ2VnjXA7l931prGKw7HgP0HyB5oBrB4Rjt6wKk+CUCltpXl+Xmgts2Nm1ScKfdq\nAEmCO4K8cG4bz5rT9s9qGfdZcQzYf4DsgYYAz1S0TgGdJQGo1DbgAUBt6xq/M2JVvaIj+rELvuGf\nZ81oFyoF4zYPjgH7D5A90BDgIHHtKBT30gBUahsQeILaNjLuuhslj7DHT8BncNCvXulZO7Spk1Xj\n9lyOAfsPkD3QEOAikWRRg3SQBKBS2+LChFe30DYEIe6uR26d/7Lo/R9avZHiLcEn/nlWFby42th2\nzK8Rcws4AIDsgWYACwlxnZ//LDlAtbaNpIctkLa1EXJrEjUbtfPpL8vEvOPOxk/986wCbW/ApfmC\nwy3gAACyB5oBbCby1sZPc5YBqrVNvnEGaRvGTdGJDnAXRH+a4OqpZ+VpbxvvmW8UuwUcAED2QEOA\n6wZvF+JeeoBqbetInwDStjJCvUd7XdowOvfg8QnHaq0fe+Bj/zyrRZsWPjAoufICcAAA2QMNAS5X\nXKrn4156gGptm0sjT0jbKhjh8Kpmo3R+kvEbaZUKWPNzJ7cpSNPChwg7FE4BhwCQPdAM4LpsrX9+\nrvQA1do2kx62QNrWwEjGW9VsVM/HgEdgribGetU/z4qPUx7RjT9F8AangEMAyB5oBnBdtjY6yNkG\nqNa2HelJL6RtO8nUoG2tdpo7uTz/Ix4FtKf/28LPzEkU9QH99kHQgEMAyB5oCHB8AqZ9QWboAaq1\nTR6BQdq2FAh3DhZPZXV4sCHaXsXDffrLyrbyrBHlBnMbI9vRKeAQALIHGgLsnUSOlQu77/QA1dpW\nlfYfgbStd7Y/zPZR75tHFB9seB988PS/B8LF5bdqz5pQlrzEf3VvBQ04CIDsgWYAT8vWlhdXceQA\n1dpWlx4kQ9rWNWgKu7aTmo2Lop/rPP5qEpL9QyoNz+qgMJBYASWKdwk4CIDsgWYAT8vWhhdPVMkB\nqrUtL30ESNuGKG+Mk5qN2UXRv7c+uy1Rt+CT7iQoNhTnZje0wlZByV1yCTgIgOyBZgBPytaaG3bm\nyAHWlPuB8Z7fw0tr2xilhqJwHKpOLr58SuKTyUWz/QVBvFpRlHMuKcv5aig7FC4BBwGQPdAQYPdo\nU66+ITwiB9hQnhK3pcezkLbh5Ksc12w0N02xc3Dt7LLBssXh7OeV73zDanbAdlA6XjkEHAZA9kBD\ngMdla7NN06AGeLgiP9hXRpWPLqttEVJmzSSOGQub1sRF8cre6ie+Yter7t599/cdX4j9tvfe3Qd/\n/BtUc0ByWzeAAwLIHmgGsH60LO5u2vYjBNi6+6XvibfFxNMffvbuV+Wfk5ZDANrWFjhKfFSzsdiI\n8GfEK7HsNyfKtxe2NUXSboJB+y2qSSxx/MEJ4JAAsgeaATwqW4s2Bzp0AGdJPsDm2FiWJANoWwup\n11y8EN/tbj7rOVzJ//IP/nPcE37PT8+qUpYqz3G2KJwADgkge6AhwJEQrxckp5FkAHW1bSQ78gS0\nLS9MbpU/q5F/KumxFP3S8dT/3Pqd3t996Runc/j6P+2C4ThZtnoH5wjMDeCAALIHGgKMy9YWkjZy\nZADb3/7H06/8xkvfBnccNr+2AG0rYB3qHgaNr0m/6b8/PT34rR/K+WoFlPRaiXWR+kX7DNgLgOyB\nZgDjdfFE+kHHALuyEgNA2ypYL4y4vsHBFUIohhW8brQhUlqmz4C9AMgeaAYwLl9w0CTFMPYEtK2G\ntdCPazYcXP2IYkXK7hBjpHIanwF7AZA90BDg1E1ms/ab/ZlLatsOQmvKIyt7LPoqa1G2mBHmrSm9\nB+wFQPZAQ4ADj+PeuSyPBdC2Bdbhc+Sx6KssPv6mutc7wmrC7DNgLwCyBxoCXHgc9y5lt+UA2jZD\nSxrsEmYfEluTsNM03nd7DNgPgOyBZt9dcNJIQM+kOgVoWx8tDp1h9EpyZIQ3u5XQVko+A/YCIHug\nGcAm4Vmtqe3I0gMBbZujFbLV/RV9tB2JLQxvJ8VnwF4AZA80BDjxN+6VngsA2tZDqxBrB7vZgXeW\nucGKAqu82GfAXgBkDzQEuPT3mFmazwFoWwevucoX7wTrWSO61oB5vNN9jwH7AZA90Axg613e8qnK\n8nABbeu66WjloWcRvbIKSAW7DJABZhhgVXYIDmjbhLLhZzA2FGTb0HXKjHMGyACzAbAiK0oDtG3I\n2kar8JVM/GkyQAZIalKBBrRtLAI+OEczwpV5TXh8ss4AGWAYJl1YA9o2DbcGD9EGdO3qGwFnyzNA\nBuiJlWUHIgpt28tl3QZ0zaYbTm4yZ4AMMFUAy7JEFkDbBOWlr8FYh+4qjh3KjqoMkAFmA2BeloDM\n2qawnqwSlz2LATJAD6woaybA2qawOXsWA2SAHlvr8toWEdaxBWR9us5VC6wGeQyQAWYXoLTgX65t\nTazuYuF71g2ar55R3s7GABlgNgCWZI2aWNsUtgQvWGPPYoAM0K21ZU2g5NrWJuwbFZhn3QrOaRkg\nA8wKwLYsCJNrW4m1jdiz+vynyQAZIGubK5uxZzFABuixNS+vbS3WtlPPuk3z1fPM/GkyQAZIqm0H\nl9e2x7nMG7Fn3WCADJABsraxZzFABsgAWdtwbMGexQAZoMcWsbYZeNZ99iwGyAA91jZxOW0rot2e\nyZ612Xp0xTQMkAFmBSBr27a2w57FABmgz4arbf93d6P9y27y99jGMB61vXlyd3/2DAzdod14lvIZ\nXAIOASB7oCnALfndR9Nz7a9G1baa7MEe+uBZY9mXXwvHs5TPwNrmsbalwQOzqm1Sv3ngg2dJv/xK\nOJ6lfAbWNo+1LQ0emFVty39i83M9/aAPnvX9083f/bHdcDxL+QysbR5rWxo8MKvaliXjnVwGyAC9\ntstrW4u1LTbi7CJOYWCADNDIou20jXN3OXOSATJA1jb2LP7TZIAMkLWNPYv/NBkgA3ShbSXWttgI\nuzD0BbexYIAM0NC26APCfXdteBa3VmSADJC1jT2LATJABsjaxp7FABkgaxvf4Sc1vkGNATJAn22L\ne67aTu9e/srH7vjjWTdppkjotGpr/cmvM0D2wBQA3OLuZaf3yte9qYmQepb5FJ3e6j2xlZEeKED2\nwFAAbqFt0jbkNixOvHnGC8+SHpObT5GwEb46bDsc+1UGyB4YPkBpsppc23J4bSMub0OXIc2Fn+h5\nmikSFkErrWItKg8UIHtgKAClhe+ealvc3e8tLzwrbpVwlWaKLrXtqL3oPgNkDwweYNyw6JVLatvU\ncdz2wAvP6sg8y3yKDcdx27pVIgNkDwwWYH5Lbdtz+K56xRvPuk4zxdiz3nT0WPHLbvNfDANkDwwK\nYKxtjy6pbXFQuesurDjwo5h1IItvzKcYrwtfdxgZT28wQPbA4AGWZQEioG0jWzsym+ztT9/hR+Jw\nV7p2M55i1eWWTn70O4ubDJA9MHiAhS20behS2w7ND8+aHFK4QzPFiuPt6p2bDJA9MHiA9cOHeOOS\n2jZJXjpm36LH3njWNZop1pO3HjqwxQ0GyB4YPEDpQwDa1oXeF9s+7Y//9sHH/1BrF69JvhH5H5+e\nfvbD71F8CIpeDadYkL1wyB/q2GZXMwiQPTAggFpjSYNPQNsG+InFpdHxXX86X9t6ROxYP318M9hH\n4U+NgNNiwymWCWoD9B7q2ObXsweQPTAggHpjVWWHvYC29dAzoJoT8eQPPh3Xcml8b4F4ufb3Qnz4\nnTG8PwM/Ngay/AynWMTPANJ8qJPA/FrmALIHBgRQc6yaLEkP0La5LK9ma/uW+M1YzQ9/zifqmLZB\nm9banj6JXwdfPnzIj0CfgzKYDafYkiXmkD/UyaNlDyB7YEAANcdqbKFtS+zsztZJ/FvU2sFc0p7i\nzU/W2z3FiQnUMcBwim307Ebdhzoe/knmALIHBgRQd6wdWcE/oG0z7Isilge7a9XcV66YSJsItMUL\n658XOAaPoA6dhlNsYt+2o/tQJyuGVzMHkD0wIIC6Yy1kPaAAbdtBbsoZTU9+zKOuJC8oP0360rx3\nCi5uIXOwu9WvbzxF7M7Gug918un7WQPIHhgQQO2xpDGYQttuI/6Y9XXk3VW/Lgq0h1STVZRbAMPT\nkpC32DOeInaHPN2HOvkRrmcNIHtgQAC1x+rLekAB2lZDbhKwfOVMGKnYD5p9jnZBcDUZ8z8EFv3y\n3VbjKY5xO61oP9RxPHCwlzWA7IEBAdQeS3rmCWhbFVnbhusklIK6b92ItAFPJZEx1IW6NOaBDCDj\nKY5wtU37oY5/3geZA8geGBBA7bE6sjxcQNvquE0CokTgqN7rLtCWoi0SUT64VVmWv1PNpzjB7bSi\n/VDHf1A3swaQPTAggPpjDWRRHaBtBdxC2sPY+jcSwyryanqkC4LDOPbJ6qXSgPL4AIE3n2IXtxuB\n9kPFVjRakgYJkD0wIID6Y0n1GdC2PG65YyF57DpULJlKxB1IuonzoQoU8VakC3OEKXZwK3a1Hyq2\n/luZA8geGBBA/bGGsnU1oG0l3HLHSvLrBop1fusjpI51xOOZRNAv3VesSQ+LEabYx63Y1X6o2L68\nmzmA7IEBAdQfayw76wW0rYlbElRN5un0HPYrj22UOHYvQo2VG5Q3b89wq9q0HyqjANkDAwKoP9ZU\nlqMHaFtOoN6eWk3eGjd32K/81LNurVf28jOTHUF4RzHyl2s/VEYBsgcGBFB/LKlMQdo2Rk2bryeF\neO64p+8k8dZsQWcmM/SGAeeWGzcdPFRGAbIHBgRQeyz58hLStiFq2nwpeZbtekXQT5wbgyuCPuXt\n2BXcyg/th8ooQPbAgABqjyU/FoC0rYubWjpI/EYDh3efxlZO8AB3cnuUb6cCbna09kNlFSB7YEAA\ndccqSoNeSNt6uCvq5i9+IBkSPnXpWbm//aPd5LvrluxzXcq3UxF5U0z3obIKkD0wIIC6YxWkQS+k\nbX2CCxNOzJuLbXPH+6lXZf84RC5nvxBOv+HgoRgge2BQAKGx5MtqSNtm6E3FT63t+IanM7aEKnHH\nyC3Wzr6a8JuKaz0UA2QPDAkgOFZN2kUF0ja6d3+BesV0GQMrldHbflt693UtLrlCBMgeGBBAcKwd\n6TkypG017Ma7K2vQrXYvb1MgLI8IrqKy8k6ekq120wGQPTAggOBYC+k5MqRtdTJp7iE3nDWxIpTi\nU6JNE5tQRVdFymT2NABkDwwIIDhWX3qODGlbniyPYEybNH8pq0GnwUXaVIoO1Tl6zWLWfZAA2QMD\nAgiO1ZM+AaRtJaq6nTxlOuIWv6485i/T7ir0qSSoQ7qQCR8ge2BAAOGxBtLIE9K2iCpFYeHR+XsE\nHphUKIv5jvcK7lh/KAbIHhgSQHisobTqHdK2OBYkOaIZUp1RbGEVcDO1QZYGs1qNXLf+UAyQPTAk\ngPBYU2kWC6htE5o/kZJH+7hxUH4Tfq3t0w1eJzqJ7ts7SQgSIHtgQADhsSL5WQuobR2alOh7Qjzn\nzYJgKp7swdsRxDsJt60/FANkDwwIIDxWSX7WAmpbn6aUbeTRS7MKRzgd2hTYEk23jqrFsC1IgOyB\nAQGEx8rLz1pAbVuQFO4ULP7lKa0L/0gT2i3TiKZwpWvR80IEyB4YEEDFWHX5SQyobTWSfcyevX1u\npRUVuw1j4lyKMUVBadHiPm+QANkDAwKoGKsmTxABta1Ocf5cspeeoLa+4qVI3Jk7fiu/Zv2hsg6Q\nPTAggKqxduQJeqC25SnyBpdUrS+2sLYiLm0Td3gk2U1pkyYNpAAge2BAAFVjLeVnLaC2NQnANqf+\nJITnXlTE+0VBvLybEZyCvWivJCFIgOyBAQFUjtWT56mB2hbnxWHX6b7sT9usXDRWHJUUBHEM1MDP\nXlI+VNYBsgcGBFA5Vle+Xwhr2wR/q3t0sO+NZ1XF5+EP1KgvQ6rju67yobIOkD0wIIDKscby8AvW\nth56YUJFvOCNY+WGB4oy4QX1hSEESw7lQ2UcIHtgQACVY0XAthmsbfhkJ09Pk4F/bs+1Y9XFp07+\nq/Tvmz8xp67LjNB3NNUPlXGA7IEBAVSO1QKkGdY29Ii4vPoxc8K5Zw1W4HbelC7mifflx9g7muqH\nyjZA9sCAAKrHKgD9j2BtQ9/J7KxK55rCtWPl12Vqs/vS3524AV8XeUdT46GyDZA9MCCA6rGgvp6w\ntrWQt4Na6x+z5byib74uUZ7flMbrt4kngbzmUD9UtgGyBwYEUGOsBdDOA9Y2bLT99QzLrnsDlhJl\naoOrUml/nnYWC9xWKxoPlW2A7IEBAdQYaw6UVcDalhuhbge1E0Fg1XVu+DLxthpdkS7J79DOooq7\no6nxUJkGyB4YEECdsbpAa3CFtg1Qt4NeTPyYC8cJlM3pjUR4ek26mCfeLi2j7mjqPFSmAbIHBgRQ\nZ6wx0KJJoW0zzFruaLz+MXMdx9cMvZwAl5dsRy7oW3M3URcdOg+VZYDsgQEB1Bkrgg4EFNpWw0xw\nqx689+6RfenZd/+ouO/Ws0afOZ7L3Wef/d6RkC7myUszx5gJbjoPlWWA7IEBAdQZqwVdgaXQtjJm\nd8qhSJrb7oCVM3ORHMJMSLriXlj1P7T6UFkGyB4YEECdserQml2hbU3Ey+DqZ+ZKffyjsMmZuUgv\nAaP3/xliX1Wth8owQPbAgABqjdWAXuEKbYsD1tt474ekXXHpWOWzc9l8XlKyMcsaXhKI1kNlGSB7\nYEAAtcbqQ26u0rYOWhJI6+xcqY+2YZufncvmY+QC1a3vScvjJYFoPVSGAbIHBgRQb6wuVLah0rYZ\n2vXL1XOT3XXpWaOzc3ldFvA+JZ9JE+/6Za2HyjBA9sCAAOqNNYUag6u0rYZGt3Zusk43O8Zn53L/\n8gEv5lRCKXDjAAAEuElEQVRuWXyoDANkDwwIoNZY8JpdpW151+83h9a1cEh1tOp/nQEyQAZ4eSuA\nqc0qbWu63nN1aFMrd+HNhEdXkzBABhiQNcDUZpW2xfsCN3OZtLad7eaq8OiScwbIAAOyJXhiptS2\nnpWw2Ecr47bokFmRvmSQATLAVAIcgBlqSm1rpDfiVwe8j2yMM03rqp8BMkDyiV830DZL7w4/A14r\nW6wD8vaDDJABphFgGz7oVGpbE7OiNCibWNppnAmPLsxkgAwwGKvDG4VKbYtLVp/PZdAiqMUAplWo\nSz8ZIANMJcAF3CVFrW39jB4m5G0txksp3QtngAyQ1jrwWlqtbbWMHibULG3kHuWFX2GADJABXn7a\n1420rWijps1Dsxev9tCqrhggA8wOQFW4qda2HPb9y4HYBK9zncJ2sO9fZoAMMAMA64rGcxra1rWG\n2CeL7BXSFhDbUzJABpgVgAtFioyGts0yeZiQt3d21EzlXjgDZIC01lFkcGhoW8HalqZP1rAYpnfR\nWrgxQAaYGYBTxWaZhrY1M1mZ0LfYI2CWxsR6BsgASa2kKvHX0LZY1LPX5mhksRyjkMY0GwbIAEmt\nqqqm0NG2RVrr9eCXwmNrg0UpjIwZIAMkj2tvGGtb2cIFsB6+FCyeig8sFdcwQAaYGoAjVW6ajrZF\nGcze7Vutol2kL/mUATJA6rhWcYyso22xqN/JmLaNrF4TUSa+cY8BMsC0AawqG0Bpadu9zPUVL9nN\ne4mmaWuLzQAZIHlcex1B2/LpeyuqXwqfszleJ22RMQNkgNRx7cEegrblxlnLcOtbTnuppe0omgEy\nQOq4VpW1oqdtyzTmfcNibvf0pJ222g8GyACptfgWirYVMlZSmrfeF6GbropIBsgAydfQ+yjaFk3T\n2bVZZgvrrU/upatzOwNkgKQWaXQu0dO23DxbPdwm1vcXW+lqQcYAGSCp1TW2BzW1rZKpLJC2g3t/\nhmlKYmCADJDWlhrFtpra1sxUFkjNQXg+S1MSAwNkgLQ21tgk09S2XEeZTZIi6zl42LzlfCYGyADD\nBVjUmauutlUzdEtp5CRIHaXnuIYBMkBaW+jEmLralqVFacWJjqdoTcUAGSCtDXVkWFfbcvPsLEp7\nTtqetNKzpmKADJB6SXoLUdsKmVmUNh0dhnfTsqZigAyQPMLcR9S23Dgri9KqozZ9tbSsqRggA6S1\nkVazXH1tm2VlUdpx9PZqpmVNxQAZIKnl9daQ+tpWzMiitOmsA2kvHWsqBsgAqZekWtuR+tqWm6Tw\nLqHNgfmum5Hr6bhPjAEyQFobqzruXlrbqtmoKZ3Yr3ZZbyO8xQAZIANUKvA1ZG2LxilK/IaW3s5e\nXS+nYUuTATJA6pWz3gLyRNtWBp2FvmjxwkRntnS45dCcKm5cZIAMMPMA2/DGfz+hZvra1s5A991o\n6rLhyTL85rEMkAHS2j24X8l8K207/L89zKXcKuKJw6C8pbmTwAAZYGYBDsVzBNqWd3aAY80G4lMu\nh+/onQAxQAaYVYBl8XSPQNty3RRsZ8ALAsd7qYXQtzQZIAOktYXiRPOstrW/u7bvwBHrz4ce8avs\n3e9xO/6/vo8BMkAGKLfi2+C1Y1LN9v8fBuoTG3PhwB4AAAAASUVORK5CYII=\n",
      "text/plain": [
       "Output"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "solve([x**2 + y**2 - 1, x**2 - y**2 - S(1) / 2], x, y)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {
    "podoc": {
     "output_text": "Output"
    }
   },
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAeMAAABTBAMAAABe5HLKAAAAMFBMVEX///9UVFRmZmbc3NyIiIi6\nuroyMjKYmJjMzMwQEBAiIiJERER2dnaqqqru7u4AAACOCb4IAAAAAXRSTlMAQObYZgAAAAlwSFlz\nAAAOxAAADsQBlSsOGwAAB2VJREFUeNrlnF1oHEUcwDf3kdtccptApS+KF0FQQciJpViw5hQRKmgO\nWgURTNq+e4FC6wc0gYK+iFetoI3VDSpKqXb7Zgvi3WO1DxcVtC818QtJpTZn0033Lsnf3Z3d2d3Z\n2evd7s7ddTsvPfbK/Oe385//51w4zhpXLpxUZrnIjUHl8/ty9K8OgjoK0UNOq1j187RvXgVoPLOb\ni+AQ3iwD3O1+vh3gKy6qQxgDyJMPeYD/uOiOJMAq+WwHQCXCyFzJvc0SyFEm5hIA15xPMgA3Oif/\n763i3N4DDAX8s9/1SIIa4bsA5jtG/Dzo4wtmAnhxw/WsCuB8MAAw2inihwD23lNUmd9jJaEKa7TD\n7AyzhjtnvXhRnlb/+Vll3s9Gwi6gIF8FmCYf5DuEvGiInmEU6+3MQo8h83AMRwLhm8wf75R0O0FF\nzncJeVkxQ/xJACUX8uzaDp/Y3mPI2evmp5i6vDMhz/7A3L5XuP7eQuYtzyCoyNdZyOgx5EFYwp/V\nWL9+GyBfrTlcJcxGH3kR5Lwt/mESDfQYsqrMsi3KZRLm9hhyGayQYEj9vBJ95KLNM6XUz5u3B/K8\nlbGSSWwUkbO2Xc4Amyy9x5AnbclEzyl2/IL04WH9w/dwaiGs5QzZlmM3X6+L7xS6jcyXQUFuswrH\nqTrw1jd+4ohH78pRnNQbqgwrSNnV6AryTP0A9zs0tP7GYS6ZdVd8E5Q6aXtjGMxaTBK2qPnzqLX7\n+S4gx3TvOQEjXHZKPXWSOzIsBU7xrRlKG9oLuBFSVconcvUYEr4xVEd2ttLM9vqOxFBaIYjTWuvI\nVOdxsoDREeQUSt5jUC9dQ95khJxDChwuigCoEtlX09VcMc9UwGzDH/L4dfO8iqPIzlRooWOgXdZ8\n1BTS6020t0tYf8I3X8MksnqsHH6oWMGryqGUx3VsZyCg/qXR5NrbqyCPvWTufoMJcoXI6Ry6lFKw\nVW4gb1JzzdEHAVc2Ya6M18nHTMWOB3UFVOQ0eTaxPOP7NVye0k5bXKKZ0INyIFciYBcVkx17mwoa\nhlKRY0TWpopfd2z6URws6BFh8icWJSGTcWBNd82GLdPUZyV8ZB7Pj1/Bxw7TNIo95BTDaNuYu7Ti\n2IWBoM6PiqwqsqPQViXMk2FWNCtaYUQsiCAb5mpiBIGOYKF5Bsj9jsOcIKurD1pWjdV9mX5LgV7M\noU0vhOOWPZCFos0G80Wo57zio3bl8ZfoY7drapkI5hTOyy23OmdTZM1GfIQ+/bGnCIqHg/VxtwD1\nhCijQMYhzgNr3VVxu+UW57wJstbXfvfiEgoIagVPP7LeLrLX6ojzOUncxrGuMVDccotz3gyZ2ybp\nr0lDlp+lLz/jo4PytEhf3akc4TLypNbNk/Btznlz5B8ANQv0i2BbqP8lxqboymkXkNa84sHgQr2Q\nXwP48iVDf8c8ouU0K7csSOQxtCLedOB+pAfydmy+OPpFMCO/YuOW++EDV16mhFZ5pCPzoiNRKNG3\nmZlbLrt66ZbBXgzcm6MjLzu1J0WvoY+BrTUa4uiD06Z+/eqKgMcCZsteyGWisytRE0GJTf+Xq9bN\nNzm8ieO/zaZLCYycJNIK90Uwwy2b2vZ4mMQJeBlXX1awjzqKha6yQLYkWIe5QHPLG+Y6wlTwRRnP\ntjhFJvAhXK2kIrvys6s0+xXD2pYIU8GTNs9XtbLU0Nxyi4UgwjP8tWCsw4iI0qshIpdsZ7WYxwua\nDsste1Y4myEPIT9RwtInad0yfw0aLi6esVmLAkZeCMst+yrqVlHUNYa7BsU8zQj5szOXG/Y5clix\nC7gIONt55LjRERRNXcjQjrLfBk3xfSPbPXToiSJYq1wwiyVB3bIf5BTqQyQUc5fHafmUzwbNoCMX\nkq2jlCeKgP5HmqZ/zZGHUHNifC2LmASp4lELmG9/PVkHcs1KJs+YZyqwqRygpfnNkRPo7ZdHSshJ\nXa5R42RfuzzkzHhXrdk2DdHB71Ko5sD9q77myAIo6rb21dUFaLBJkUrmr0Gz6ETesBJoTZSQnQvm\nljOXfnlS2wuo33vo0sU2LPaEXOAy0mlNzb7lrpTXPXIDP6eu6ES+ZkvtznLx7+o7grnlcZqhaAU5\nI2r3GJZ0Q3YcZA+77KtBQ1TurB39DbSLGvmARWzfyFxyq/iJfhpS55R9Qd1ki2PbOTh1WDsuQa6l\n80ceM+P3fx8+0g5y90aZUb7au8ghpI63GnKKzRXHHkQWnuPIvDniyELWLIZNBrNetw7yIK44FZn9\nirrHkGfMC2Apdr827THkshnILbP5fQmVcLiryJIZbGc9+mfRQy4aiXmC4SpcyJ38/TIth/7MONOr\nzGSQl/k6+yt115g8aubS08xkuIJ3dlFPS06qoeUC8TJ8yvLw1F0WpNE9ZEFan+V2lhmqtbslpYc9\n091jjun57YkldhKW3cYqCez8QwvjTzVZPs9wfp52+/cFrwsjURhCler+1Kdfvx1J4Ef2qI7/LO1N\nPKUVBmejR6xd81Lup3935cLJKP6Js36Yu8OO9T8vwvFYGMk+uQAAAABJRU5ErkJggg==\n",
      "text/plain": [
       "Output"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "solve([x + 2*y + 1, -x - 2*y - 1], x, y)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {
    "podoc": {
     "output_text": "Output"
    }
   },
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAA4IAAABTBAMAAAA4raRFAAAAMFBMVEX///92dnaIiIhUVFSYmJgi\nIiJERES6urpmZmYQEBDMzMwyMjLc3Nzu7u6qqqoAAAA1ApXJAAAAAXRSTlMAQObYZgAAAAlwSFlz\nAAAOxAAADsQBlSsOGwAAC+1JREFUeNrtXU2II1kdr6STVCWppBu8CArdIIKikkYYlt1LGkERRDKo\n7PjBkGZxD6JreoWV3VMaPHjYQxpBV3F2K570ZBo9DeyaFkEc9tDtLqvsKY3LCiqSmXQn3TX98Xyv\nPt5HZXBCvV9BP7brMun09C//ev/P3//968Wy4uu/1vVlzlWYf+vNy+tlMejafyX5TsXbvl4Wk3yQ\nHCbe6c6uV8Woq3Gs/lwnu5l9Vu23n/vRs1ffxWu//seHvmtOJHLIiuqC/kFmn9Uk7Nq86kvSC8Rc\nN8YJO4oTuuQ8u4/ygqVZu+orEoq5YYwGi2RL+umdLCX/wYefpEvTv+orEoq5Z4wGVa9rzjK3bxMW\nxSO+SbXMVLzOZxlE2UXIzAwNHhmkwSoRZdd+xuHfJWRiwJLUCDk2SIMuORFlzVnW9JM8NGBJ6iTr\nWASunn2xwCdZcxdy3wiKRXZM0uCIh9FyhnQ+KnyvPh0MxVw3SYMODxmNuR4b3FiuPh0MxdwwSYO1\nuPCqedOMP2psAB0MxdwzSYNWM1rWXOYVWM8MOtgzig7SqxslpzK5yPiT2uTMhAVpE8M2aIpRIuxm\nnb8pz3pgBh2cmKXBPDkN2WDWhQzlWScGrEfdDNaq2txB8E/W0d8cOnjfLA3SuL8RuGLWzUDKs3YN\nWA5DWKt8rQYSFzMvRSnPWjGDDq4ZpsFBUIQOMm8GUp61ZQYd7BumweXA+xqZNwONoYPEMAVapSAD\ndh5FJt77xtkTWDr412f93+3BIN+64U2fQcHVb3i/30LRwcJ3/CfQiqpLmB//ufSLHGHtNG++GVj7\nJCEeec6y/o6Yfwro4J8Y4inqlv5JiO+RGUaFb3nEJ7MDDB2sDOVxqUL7OYCA7pCu3XrsdbLD1Rmd\ncB+RpBrkqG+9MD3IQXgco4MF8pMDt0HuYBT4L+J/2rJ+5UFYZp6Qpyy7fRtDB7uzfl5Y6hjSyhgc\n9QsxZkPZw6TKO2S7r0lH+xuZMqV2dluQuEJ51kWT3YlNfIjX/DkqGh1E5VHrkFvMts8gdLDCApqo\niIYIplZhHZcYc6j2tzyybS3NEXrbC+lb8RiTGSjPetoP/LwD4YXU5t6Iag8A3EtRz7b9eQQdfHcS\n5P1Nnj8Agbl8LGFSDcpG0SE36fqezZGMaeCVNsH0MynPIrfDEANpPK5GduU+CeBBFSEbgg42mU3x\nrX5MYO6tS5gtouirR+PGctLR6T29GteQkDxIeVYUPcuIBp4T+8o9QvSftxqQaFq9iJhprbANRpqc\nLrioiMB8IGE6qgZXqRGPkn424KVNg0D2nXrcEqsE0ERvkmmcZPQ1WOFGSgsafTpYehB63gXPH7sY\nTJtjdhSPa1HxB8mmWpv/F6rLmwANDrneSoBUk4/tgZqlfhQVozEVxEzr4NySB6Zo/tjWxty/ULx5\npHCyLtXeOGHIDg+i1j5CAJbOZxYuqnTjJitL0zv68SF+5Acy0xqUVmVup2NEzAnSoMBUJyr2aQRt\nJHJdV7Shu5B+pi2C3ZK+17h8Mp5ahrZ4tqjVbETS9zbCZTvk+UO/JeJtKZgVpTga0YDZSyyqJ8Z9\nVhECUKPhjlfSX6WScJUGeU27UBcmlQPEhwoJEzXh+UN/hizElHq2Sm2yTOuapqrBvFTrDCHjLVWR\nzov6tUdXVFfuv7VlawjZqoCqIx9UEJyx0Sih30cMMaUnOto7cxq8SFglX2QYHVzhn6e9F9mG5GYp\n4BwK2bQ3Me3vWfJMiY2gOwGmjDRcVzQ4pdWposGWsHEbQwdFCGfK1ESsQx/xKxCRJ7qoTcwlXmDl\nCGoKcEkK8UGuFQ7n01B5P2GVu8DMoGbTrnaPgsZh4HhyWUoZq6jdwWUeJaoYNhZics9TLHhegxWp\nt1TFjLdI6XxV2yj3oYOLA4lBDFEzrWIiYRkW8aUph4qfsOiEBnNSb2kZM94ipfOOtlc3oIOLq1JM\ngJlGh7cOYYGZFitcb/lZUoNqHqR+51tQASpKaaTr1UPoROBQ9ARslGlIBSiGjSW8oHRsJaKoqsGR\ntHmByQx5QblYH2xFd3mAA+YyWg5lGgVhCrDALO9xLCeowzTBJrrwzFASdp7Xbv9XoMea2Pikr9wv\nLDBLmNZ400qwCbUn04JnBmmOVg7R6ckEbnCxgE/6cvkCC8xKSdTcsBKMflUp8BsimIAEKCuEXrNH\nkSew1GKpG0qwqmPA6S8sMEuY1K8OVA3OqNfJfYOeQgcvMPZzKGpizcZ2jiAf8nCyoIMN3nKABWYJ\n0yrMEuzqNNhhkstW7q8RH/2hps2PhNc0tcuQHEE+ibgkxYQw6dv6w4GCTESB+RNQMlE8SXjnhGpx\nompwRSw9U+awr61BqfTb0457R1ANPhCysZdV/bEWsUEethNrgKAxFJvPg90E1b+klnKqctwNVQDd\n4LLMNVjQX/46wU0NBx59rCb9kX7i8rhVhHSwDhj3a0tNkUPlNy1axZSV4YKGSOg9jABiuqkqdv/T\nXq6qwcqxrkefiJR4MVeqpyTfE+45rJ3oAMbzPI5pT5NdpQu6rr5a9fT5n7FfLEV/+97Th2m5jC+Y\nSmwdqdE8xd7uBRqs3/h+anb5UFTMLOk31/TECzR4yV+xkFN8aGljtnmsKB4nM+QOCyWPrBydUIDy\neZwyjlKHqijViOcm0qP15K2JmrerVyCJ1e6FSd/b0xMvsLETHvFZPN3fsbQxh1yD45tJ3W6yDNBX\nkvsG9xgmQHcnJgIpT8upxLWoI4rr9Gj7sr29E0wmM5afMpo24z8shN0Z29cUL1jtS+7W7NXqtj5m\nM86trtdP2uAaq8IOlfVe590PdnvNlahGTr3X1Y7wu9EouBbakkS8be921HJKu2c4iP0iWt+lB7o3\nyzLThJf1LIB6W/qY41jO4ulcXdBnK7ytmFBYjnWPe0yDtaj+b5PUm7Ot0Cb4eLsWGg3FvNhozOK2\nXdp2azXyaJt8MdDg6Fz3ZplVhGLlpx4rjiK31sMsx3GsuTtXmwcp4KYSpi7DsLLGyKLlzITXpCyq\nSmEj5h45O7AsbbQuT13vR8y1lP4UbzeKP61JJYDobeqKF4gT3GfrvMFUVp1Y+pj5iKU7yfPsncBc\nxkrzrB4841BrHodP+HbPeVZMy8Rc7yzMNCuSW6ZGq8dB/0vkdZHD0u6Fj4MnGt+m/seeZLajgKMh\nXjDQuh4sdn/EgljjpqWPSaVj/lvrJJ+/LAZWMVIb2GPymuX2pkF4PazHxk0ty0/LDO+RW5Y9JK8o\ndpoa7SVytGXVnu+QP0ge7W2mtQf/0PoL+SZbi0trPNEXj93urG/90btD84a/l4vjux4mTf8ftdzV\ns4O5htfDAFvZRHKHxA+j0tv0BXf8T00/k7YjWWsyxK/Jb2mgsVbHLyhXFQ+r54dfGaVtIb/JHg6f\nhEJ6PBbriMeQIswX6H2fIG6ZpQzy00fkinGQAQuJSq7ysvezLwevXhx+Va4QUgvgfsT75Y+Tb6a/\nnRfvkm99Vi1dllNvAvzmrv/t8GnJl6dPQcSz3I/d9Z8JML/Q/voBBtN6/lnvES2BZqDU2oKVXA16\n8B8WbbRpYa9aBqccZoAZVU3NxXan3VPkZ2PR9rfBS4MVLyvMesQTB4s9xFWHnjCJRRujT/2qZ3Cc\nJh6zFKXZ6mJU04GeMIlF66FP/XIyOE4TjzmKfM9erOdahh7diEXz0GtTzuCcSjxmK65OhwttnQ+g\nJ0xC0SrwQ6AHGRynicf04o27wUItjd4GNO4h0Rz4+ZrYm80Is8D3ZEqLDKXVoJEKi/YuOj7VPLwC\n8ZhF3tF2FxntdaCVFBathy5FnQxKUTxmSxD5xgKJcP9V5IdD0Vz4V9BibzYrTE8QzOoCo6nDNeSH\nQ9Gq8C8ZwN5sRpiONDjmeo8tBRxouYdF66GLPCeDLzjBYw7k5wS6j30aoQWNAVC0AjyItjIIonjM\n9kSpSzf///+2oYeIY9G66O/5sDM4MR2PmVN11ntM17X+OvLDsWj/2QOvDVa8rDDHalguGfdVCx/0\nq5IcgB9eXi+KUde9aSL7Lxn3bRkf7KvWfmOuJL9zvSwGXcX5Df/6retlMSmI8rrlfxrXzu/h0F3i\nAAAAAElFTkSuQmCC\n",
      "text/plain": [
       "Output"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "var('a b c d u v')"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {
    "podoc": {
     "output_text": "Output"
    }
   },
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAVwAAADIBAMAAABWuET+AAAAMFBMVEX////c3NzMzMy6uroyMjIQ\nEBAiIiJUVFSqqqpmZmaIiIhERETu7u6YmJh2dnYAAACf/qw+AAAAAXRSTlMAQObYZgAAAAlwSFlz\nAAAOxAAADsQBlSsOGwAACWJJREFUeNrtnEtsG0UYx9fr2PFj7eRAhBAS8REuOJdWvFSHQwRCSJuK\nh8pD2oqCEGqRq1btAQ6OkCgHDq5EpYqTwwEQlzoc6KEqsoUElYpEckBIPKQEiUsvuE2ydmPHGXb2\nNbPejXfns5dkpZkLUcWufzvzzf/7ZnbnL+T/tduacDjbNYIorCK7rRxS3DJB5Lgcl8bdEyLS0jpu\nl+NyXI7LccPGlR794+p15XJUcCuhpZxQcBUddzkquE/duaDhFiI01bQOjpIyINSLEG4MhSOOIeHm\nENqMEK5227sRwk2GVOmHhLsajuyGhVsNR3bDwq2FI7th4ZbRdoRwJRTSajUc3BRCWxHCDUt2Q8LV\nZHc+Qria7G5ECFeT3bkI4YYlu/vjpi4qz4F7SJfdX66rL0xDqrnv1POsuLcVpKJeU5Cegcrugwgp\naIf9YlHWFk5nbfbyzQC4GYTOCfHyGaEFCUIsuzn0ejNWR8eZLy71ChnymFVnvvHGlRrolPaf7HYO\nVAhqN92t4J+JI5U1HES0hpdOVoEko44/7hEz5Zd/A+Fqsnta1Uelway/P3b12F+xw6rriysidMYY\nGAQSULwdb92AVXQq8/rCdNEOq01f3CJSm1Y3QWJXk10zCBJIZY2FaX1huuudzb1wRbtA0WYcaoJk\n1+yTCYSWmC7N7hl9uuudzb1wk7aQaOBtgJDJNmSWNfaL9wyoRTusLvvh1qxYwKOyA5LdHrQ0q83r\nIWQ9ZHVgdDxw46S2joPqVu2q++afkwjdY9usWjNm+JIdVk0f3AT5ibwdRCwtT7o0y/i8ol5rVOyS\nQx4IRg/cOgnvCVDdSl2VJB0dqGX0pICs3CANBqMHrkLiZQoquxvkBn2mOPrWsXSKDz6tGzdHiVcJ\nJLsk9DA5e/BP2sLgCkY3rha69qK7BapbW47nZd/am7LVSwurkz64RSpNy6DtAmp+tCBzlaxFpgZk\n1wO3RXUIbLuAmh8NyJK4YWduVzC6cWU7coCyK1LzAwGkhZKD1mAN4MKVqFo+D9ouyBDdjkEquhzp\nJFcwunDj1CsmmOxmyfBkIC+AqOtdwejCzVG/AJNdaitae151BGFwB6MLF3eIMJLsJhxZgr1EKtqy\n7Q5GF27aKbuAaneKZIkqa4VjFgHT+wWjC3eS6hBDQOM3mXOw9ZAVagkO0DEzGL8ZjrvnVJSJTWZc\nSmXYN0bK9uLXyOaSOgQ3T4oSs8BYvcscDGTadtiDSbH7ywjGVG/4VNuitgtwAK6wTjWVCMObkKTY\ndQRjujsEVyQ5OGEIYGWZVTct3HWQspCkaAxOcnNYEib/d82YKApj+OWtYJBAe2RaMGzZmww4LGYX\nh+FWrNjNGRk0zir0oqUMadgeumz1V8Loudbl4QVkxxZNvF81ucc+tZfMid0GyLY2wbq2DOI4UOaG\n4U6YYxlHv+u4q8xCv26Irb11xZzVDCnItBU81R2j68aNmUlpvSvqxU6NeU8va6SyGbQN6Vxc4ujX\nrd+r496d6A5fWlb1TdlbWs82tG6Kswt9TNk2Qn8DQqtdro9OWi2s4mlUPzkcN4XUJeEh9Baure4L\nVcB7ixl0SojL6CUB1mZQryA8ohzXwkmdzjsqUK9NpwfwNj3+J6mi/bHM/nvadSpC7wNp8eUmwFHt\nPlu+G6aPLajf6+ETv9I+BxrPf5SXPxPALfb1gnpDB/iz/F7TF/fwNo7LcTkux+W4HJfjclyOy3E5\nLsfluByX43JcjstxOS7H5bgcl+NyXI7LcTnugeP+8MS1Dxd2ooKb1l07OlHBTei4/ajgxq9dVSDf\nFR7cVEuQz1sjgns2Qrir+vdHkcGtQr7aPDjcGuD76APELY9TdkPHlcYqu6HjpsYqu6Hjpscqu6Hj\njtkgJ2zcMRvkhI07ZoOcsHHH7NQQNm55vL5kIeNKY/YlCxk3NWZfspBxx22QMwz39kWlfQNaTn3y\nzvZ5oOymKHORr14LivspQqqCeiBe6Uv8xfBNkOzGZKRYJX12oLjfH/djpH4hCI8rIHOmOuoUhKPt\nJkR2i51CzjofUh8oOfbFfdjslzRE5n9GbXzYoTEPkF0RHyywnlJGQaxQ9O/yXzSFfp59AawYx1GS\nfYDsJvoCMReRURArFHw0xPid2AVAAVg0j6PgY6bMolPDwWrVcevIeZZ1H9y0NaNnGC0AjOG0zn2V\n2WVXxGc8bHORdDDcinXuWwbgFu1zX3V22c0afjrWWfNGkGDIWL2CzyUzBwNZnhXZZXd215FdVp1n\nyLxxS9YBGBx9rKuBNDkDOMsuu3roEnORvHOp54kbU6zVtgQwximRwz6Ag8b6cS/i8CAGsPHJkgld\nRydYY0EhGyHs/g6GuQgl107DBE/cEnFViH3ESpuhJjO7v4NhLqKQCVZe9MUtD7o4MMm8w++A9Sih\nbi5CW4rIvjVDCo2yr7VOhiYOtIOcpPRPWfPDTcKskUjoWmk7D6x2p6g6zNlxXrizo1h6iiP7OziM\nDkXVt96tj2LpmR/Z3wHnVBsy0/PFlUdZsdAOEiWgHSRlYpDt++HS7iKgbZuOAJZd13p0ys/GxxF9\n7K00sq0ObS4y6AfgeZJ1FEvP9ZFtdRzmPZU1P1ygI53gqhmhslukPNP8fHH0uT3C64Ta6LJLzEWE\nXE8IgDuC8XOFjKQpu0834TqW3BICBENnJNwNIhL4T5l1KS2T9WhxXggw1UZ4pd8ir/0M2ZWYxaxM\nWVgt+eIO2BOKfdbAmyNh3HQ6mQStOiyeeDvAHpni2ByY6bNO64J9H/xrk1323rV+MtkPgFujCzJJ\nYatSiOdQ2hilBPPSVLZxqycD4M7SufMnRsONSTt21438Vlpkn6171pqxEAB3kspqcYXRcEO0Co6U\n+Z1Ihbkoq1rKlNwRAuBKCtkdqPfYh9LIDaV+DeNK7AuThJVVK/NBcDUFspZKl9gL1lnj4hxaLuL7\nptlfpWRM6U6rzUC4KWu6/IqeBZR/2HtXqvS1ykob1BLglXBDr5KkxnEhEK5wBHXmBOlYAz0PWrqc\nEGK1dkE3yElBalFt8vwtxFoexi/7bOlpuekVBe3vPz6sxWTsLIIpb2l/gN7SXELoVc+ie7/93ScX\n0NsfFARQE68ob/xl3EV+F3aPY9eV00tCcNxD2jgux+W4HJfjclyOy3E5LsfluByX43Jcjnvoce22\nckgxZYIYBdwyx/2fcNOf2235kOLeIYj/AX/A0QPUbvW2AAAAAElFTkSuQmCC\n",
      "text/plain": [
       "Output"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "M = Matrix([[a, b, u], [c, d, v]])\n",
    "M"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {
    "podoc": {
     "output_text": "Output"
    }
   },
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAABE0AAADIBAMAAADvgwJqAAAAMFBMVEX///9UVFS6urpEREQQEBB2\ndnZmZmaIiIgiIiKYmJgyMjKqqqrc3NzMzMzu7u4AAADrILGIAAAAAXRSTlMAQObYZgAAAAlwSFlz\nAAAOxAAADsQBlSsOGwAAGm5JREFUeNrtXU2MI8d17iE5/BmSPQvZByOwzZG1sQUICReIgqxjWVxJ\n68j67Qkk+GAk4MpHATZHgBTkYIdr7SKGgFjcQEEs5CCOgg10ccCxHSBCfOAIXlmGdRjCUXKwApCS\nV7BgwODODmeGM7s7la7+qaomq7qbVcvuIqfeRdwnTrP61Vfvr1690rQx0v9PU3SMqdAL9bV8C1xS\nwjrGBIZh5j/fAGBNCesYqxMABsFAKbYAUPrkOJNuAmC4EfStmvmtXSWs40z/ZEJgJ8BHeQ9+Z1PJ\n6lgrlKoJggPfr2SgzllRojrmQCmZMDjl940KiNaJ1d//wTOnjXNT/pXf3/PCJy7vqfkPTXnDVBc+\nVuV3JkwejHJAELgB0BWntPUj22r6wxMEwhPs1d3wh9HtJ8OawilrsJT1Iwdq9icgGM50WP9zafpr\ne4S+8LVP+g3o9lDihWdMPN5Ukz8BQUf1lo8VOIx8ROYUTv9HTJVyRk3+JGTGPAOGaVk0MfRy5AMy\n4/BIcHJCzf2kTt06/X912RCaHhUA2J/+r/RVjnlSajEnxvRib0Q+nJyPHbx91AZgU039RLTFchwz\nbE0zXf12LQr3faBmfuIFTA9qUtOPPCiUjSTEaqj0CU+AQY0Rm7Hkovrc6ZPkY6G/qqv0yeTEwoPp\nnlyPfjRtbiVWDh/D51X6hCtGBD1q4BFHjqHGnT5ph3c50ip9MjnBNMkG3W9ZjX40De7UXjM8TrJR\n55nngRKAmnRaoMNnyqTzV0VNgJO+KuXkILqBgeYo+hxDnt8pmgAn7TgiuZmnFtWrWwZRbLRQPIdr\n08dJLY5Xm3mqUVOgpm6OIReV5c/tTYCTRhR7SHNHVWp+fguAYfRj6fM7z+FxokeyhzSPODmg4iT6\nogLoOaxMHSf5SPaQ5o7q1OW1BeJQzgKeQ3icRLOHNI842ZUFJ1b65KPTgzdQqJW/d3CH+/lv/0IQ\nJz+6eHiHJ33yivHAiqTTYo+VVINhJRHK9j53EVz4tvOPHPFkHwHLgxMrffIWAAZwy+ELLfMfTnon\n6VtdFIwT/Xn45PuJ9MmvPQXVrwadZopSEs5YtQ97E0sijOmtAHAWgPusf1hnPtHzco37pccJTJ/k\nwMO9Qh08bnO6252cC5q677ZMME7qYLuj3T3sofRJAnzZZJ7DP74qDU7csS6ifFJ4SYSQswEe3tSK\nT9vOYHmnk0EL03QRd6XHiek5HJV2rRm0S+mKMCfsTmvLN1kbiJPf2EfWKuvICeoewDyR69MuSVQM\nicbadGdhAkkEUqHieKS1W9aTL+Enw2dvS48T03O4MLAwXrHzKKkDy2k55Upnmx8nCcN+ZPbATZ/o\nxhr8yR0ck8uSzR8f6ySSCOFpHNrWLA1D2qv7xJN9kgYS4aSPSrfL9mhrcIW7+wpN31A9CCddMOzZ\nxsaVxAJ82jJKJ0qUzSfH6szNBJIIokXXj3/LgFszpXXiyT5JA4lw0kal2ylr+oqw4qFgGiPXKvHj\npAjAk25M5Uiie9N+z55wTH6byTPW6w4rvCSCkw/2zBYMuNVbhFhBT/ZJGkiEE7yFsGTtVidtX8V9\nh4qA3emiDF7dlURl1YZmj4jJJVEnxFjtd59EEgG0AMB5V8amkK0n59GT2TsnEuGkhWoZkpZu3Dry\nILwP9rhxgktiu47atRYSLqk2DbMsZ9M9Y7XndBJJBOfLOu4UmyKwtCqu3DJN/znZcaLj37RFYhnl\nFEqLLfqVtfrjJI1UOXyzNeTEaYb7k/k4jqGEGOs57J6ElESAj4ymu2xt9dbWPU9uM8uO5MFJAk/V\ngpUhMFbs19lw7fYtXpyUcXKk7Gh1K4LAP5lGqjduoox1Ikn40xVSdZjOj3HJ8+QatQpWLpwsYh8q\nCd+hCEb8S7+Z9MeJgauuqs7zutdsPF5DHtF5OXDiHWvPxsUEkvCnCgr/M2Cw4Ty5hJ7cYpYJyIOT\nJexDZeE6z2zbYkM+W+MMJ04yRIDQcj7WT1hhsZtcYxvmiIk21okkEaSzkcJ4t+M+GeVjfLw0eXBC\nVJ8sw2KHxH1eY6S1ePd3UsRD3Ne9a1MjCxnKcdQDhx3rRJLwpewIEKwn43LTBNtLixAn7/+USj/e\nHJuqPhr5AhHQGyOnx3/1OUw1QPzjjzbH3vEILyiiBLeE0mxVpmGOmJhj9ZNEkGjJFNVNWqh8Bpn+\no9hxkgUMuj42VWWUSVkmtl1GKruvAibtj5n89XEnyFqwe4GGOXr3hD5WH0kEipaIuSlu2DKyuT5e\nWnQ4WQ6YVWKqqgjXRIlbcTAWGLBoZzTBifZulshEElHfL0v6hDlWP0kEitalAvVYFn7yMttLiw4n\nmYv0dxneNzZVFbSSsGXQMiMjShpMnLw4GkihvZtlUlBJpHATsRyTpQd99LH6SSJQtISTTKksraAn\nl9mFp9L4sUWPA+euJAI8Sb/kkp8fu0QcHvBIAgc5i7KkT5hjDS2JgKcDWn5zL9hLkwYnGexiYfVI\n7l8uH3HipE/sw1dJQTXRRCzF0e1lorGGlkTYpyPKYV3aYm9ySYMTbAQs9dgZZWrtU5w4KRN22iMJ\nrHCXZalmY441tCT8qEsrLyGe7FMAJQ1OiPpmrHxJx6p0iRMnTWIpet4WK9wy/4mQ2x4W08caWhJ+\n1Ka5YfjJfl6aNDhJedJse2gBoPSXb4LDDyd1HF96JEF4RFVZqk9YYw0viYCnH9GUzAYtEJcUJ8tY\nEDgbVMebHTnfAfnhpMZISRAeUUuW6hPvWI88UxxOEn5UpTUdwE/289KkwUkf+9ollFIigsHsdV6c\nlLDKdiRxV49qmDPnYseJd6zn0VjDSyIAJ+s+YbHjpf2N7DjBgZqL8BYeRnddACer+Efgx1bH8YhO\nIBUPLVD/jAw4WfVG7a3OZJIIsDvjO0O4LsreOdEHstsdHKhto3fAubcNXpxUcV9h21/VwYhH5Kj4\ndvx9lrxj3UBjDS+JAD92XGUaCAB2+iS/I7kfO8AK90n0Dm4cl/DffwnwY1ew+ceSWEYpckfF1+I/\nmcEaa3hJ+NGWFyfdS7bN3UdeGnx0el/y/MlgLP1lriI39Zg94MZJF6fCDUsSC/sjnrOzx9aI/2SG\nZ6wDPNbwkgiIKQmVWTAcnNxAXhrU49lbUuNk0bU7Oj5fbCLcFUr7PDdOMB7SdsCduulKbQXpY9MC\nFSRoU+0Z6zYea3hJ+FHasx989dDBo+MX520obJ2RGidFN95JE055yR1cwehw42QB2fymrWPLZ1xr\ns+EuXfhpUYItY89Yd/FYw0vCjwpkWkBvvOwg8AbSNvBT9ZzUODE164bjvw172PFyPNpswBz64aTo\nevl55yav0qqrwdbcyYHaPiXBljFrrOElERBO4Xc86Yi56vonJTsXbKzIjZOmLaEiee9PylUypXV+\nnJgrxl5F5YMalL3uRN1F11rXL1o/U44/LGaONbwkfOkqntaM66p0HV5maMCoLzGQO89mOrKWKb7i\nHpO2X8YOXdODngBOtmzNmgNrXbh20jsow3Rk89+x9ElLhoPorLGGloQvJZCpzTd2kdxtBDZv1qE+\nWdqXHCcF49BOnqx6koVQFeqVxzUBnOStc8t66cCUiam9y262/oqty2tP6NAryEhR+cgaa2hJBGVQ\nbGck1zrcRHK3FHl60OlDDVY/LzlOzGl7UUu0vHfhmq7DX2mF6mFPBCemdB7TCrVhx3KC8qiw0JTQ\nl7XC0+bEdMHjWlWO9n6MsYaWRIBCMcAdmvbhU+Bwg5D7Tkd723jcNMSDzUVG2waZ+m6VwACAl7zM\nNwH4aojWJP44KbTgk+FDPjA/YMX6AXD4iQYwJKksYI01rCSC0w+DswA8sOKRO7DTeHebv3hdkx0n\nWuHrxqPfGGX+4WnjQnCiOqivxbPGQ69Znz7f+i6xYN75A+Ohv7P08OnhtzQ5iDXWkJII1CjPGsPX\nv+OV+3OXB39m6alXGn/fkx8nIsGSuspt2tGowokihRNFCidklKBwonASgsqHaipjwEl31nAywX2j\nio4xThQpnCiSwQFUOFGkcKJoqjgpi7VQVzR3VKZ2iGnK03ZXkRS0RdUcVXXZoiIPLVOb6ldk6S+k\nSBLKUm8qNtRli4o8tIAP82KC3eROKdkowpQDlBop2E3ukpKNIkw6oPQ6SAFZ2u4qkoUqlBbFbWaj\nrrdPD75oIejtxvBLSngMkvhiZG5qU1IlLVabzP+GFbe7lmUaGLTQufjUXyuY/BqcJZINz1My2//z\np51Ze6nsuI3JA0b7wxx4aVOvQRe38khPu5PSTKMuz7WdsVECfFprItksUiSSmcH0VAKMNdlJUWNl\nk2oH1ktu25d1vjp+XVARqMSL1r1BXoycovSm6QJZ+ktO5qCMzHeVcTvpon0dqAE2quetiHqXFmUf\n9w1EHbYVwRcjb1FCx9Is5h2ujmZkmWanaZ9ZrIHvw5RLm5Lxh0ZseMxxsgClskx2/RnzRRpAmuvD\nwhOEhUczbjHuxy04urIOBnu2HhrTJ0mlT7TukUZejFyitKatzGQeswo891fqDUYb0aVdtEJuWuZn\n3BXJAcB/F+a8JBqgLi4jnBiUhdOcyTxmGnhU48eAaFTjebszKKY5ZS+K8SaTpWOf8B+5GLlAC20W\nZlPrenaHCw2yUY3HqjpLoGY30fgFrUQl13rjmKuTkYuRc9SY4F8OZzF7sACI5uknTaxT1Ul+gGFl\nfeGeTU3RGI1cjLwwTzvvRFnSImBlypKu+jCAOlTl48Ze08g77lPzZIih+/lZ27q2gLdRDablm8ji\n7io4MKnu3HF/AgWPc5Sg/iWAt2PbmmW7xzC8qyiOVrVubLIuRsb3+dDSJ7NteXbMF3wPgMOg10rz\nWFwwI3SbxIlvtyhN8sxl6cVQrFiJj5ajVvwoy3OX3jHDCd6DNyaJgOXHieWYbJpvdSPwZfo8d+kd\nL5zgSx8LE+0MzwBOtF9AQ2pqyX8Nepk2z17n8cLJAtq+yTO2VGcWJx9ZZSjwps8fBrxMTZa79OQl\nfH1pes4OLuQMAP7dDnyC4riGSp+EULkd5MzN0z5GsQHAI24cd+ibZ9VV+iSQ8JV7/fmq72uitIlu\n+rNPBPhoKn0SOtxpz1X6JE3sc3s2e+jfPVJI8NfO+IqsuXLmvDok4Ax6dgZLsSKmDF5KjXkq2/JW\nnGT8i2j6qPotc0JBghUWn0HO3Pz0fdBHKk6qwC/b1kZmqa/sD1PlnuBJn0hOvxspYEsCP+erhir6\n6sr+0Ck1n+mTsZOjDXyBMKl27rH+Y6CC+saaggSVlpHhnqf0SWYswOkyeizdsn15xzNL0I6qz825\n0fynviSCkw3kzFEX0wyeG4Wo2BsPk1dGv7Zon9ZIo29TL5Kbm3OjJVqVeHi7s4LE0aEvzdlzb8et\njG5QYt8te3sohdKxtPuW5+bcaF7kgAm6GBkKkrE0Z+7cKK1RTpUipKZ90q/u3lZeoL3p3JwbTYoc\nbERHz5MMacziuVHaofM+RUhVS5EUwD86r/7xLj0inI9zo/BFuDPu6GJkVspyFs+NNinvskARUt0q\nY0tuO/fb640TjGU4N/qE39NyLkaGEcItRoQ5c/qkQdmvSYDxZgx98BWoMc+bgIEIObnDMmJzcW4U\nvgilvUtIsi9G1ktfZaRPZvDcaIEGbZ2iFzOw0u3NYc+0vjs9/SeM2se5OTdqLnmD+02K9sXIwysM\naczguVF6a0eakvkP2Grrs9ZqMD8wyiNv97lR/Vf/+Zd/bnAubP39HzxzmvOPM63v9de5h+1cjMw8\nvCN6bvT397zwict7UUplieqv1WiG9c7Lw29aH14xHv1mRDCuWeWanJmMkvXH3FphmR8n2jv3gguv\nQfuyOQ2ppK0X245SKsvUqtmmLG6GYb3UJZE/5l65fWELWplS8JeyXuwgSql0qU1xyrIUN37ha58E\n3IvS/mPuDPnWOcHBT62qIPHCMwalnes0pUK/aacr0f07BhiI/DF/PVl7VXDkOe65DKVSzkQplTb1\npp0tqXAiMBSRwKK2wqlGPud8yArsEYXAyYkopSL9/cW6iKtUENH8BueAS27VV3lKbqzlPAlkYHik\nIj1O8iLKOydQT1bkPKaURBq6NcVL0doCGOSRivQ4SYsYYpF6sjSnGmu6W1y5aW7i1AS8Nh6pSI8T\nISMvUk92lRNhFVd2V6d5dqch4LXxSEV6nIgYYqHjeLVV3hl0ytBLU8xBCXltPFKRHicihljkOF5h\n0OP7w5azgZiZZmmfkNfGIxXpcSJiiEWO4y3xBkol8D1HslOsbRTy2nikIj1OhE7UCfRWqK1z/mHZ\nnsDFqZYOCBXy80hFdpwI5b4FeivkeM2OlrTa7xYq4B+m67WtRSoV2XEidKJOoLdCmftX9cZuR3u3\nMt2KepE+CFxSkR0nQifqBP74vzZFftWkr/SmKRaRPghcUpEdJ0KGmKs1pTj99l5wYcrH3US8Ni6p\nyI4ToYZEXK0pZ4GEvDYuqciOE6GGRO0ZvIZv+l4bl1Rkx4lQQ6K5bU0p5LVxSUUCnOQ/Zby+wuKK\np08+Oj14w+uU6s9dBBe+LTsWfnTx8A4WVzx9MqlU4sfJbw0wgFf+6H9M4YqnT96CV3N79vfzFQDO\nAnCf3B7I83Dc92vahz0KVzh9MrFUYsdJBoDPaInGy1qVtJouVzh9kgMP9wp18DjBNcDDm1rxabld\nlzrY7mh3D3uLnlyHyxVNn0wulbhxolfAi+Z/koc5UpUirmj65KgE3y4BBkjHFtwMWE3mjli/AUM4\nYZX1JjkRiCuYPuGQStw4OensNTReJXFC53IkCi4MrPVRwRmDJji0NXla4rbaCcMecPaA9M/o3Gik\nEjNOim4LwTJ5ubaHK5Q+Qc8h7rWzgfeWMb3iVWHqOh3z4EHvXSp3P2KpxIyTLnD227Jk6xgPVyh9\n4mjWFCpOqDkvVjD82ynHSkXUuqhB7MV4uLcilkq8OCkiMWQA6iM5whVKnzjiRB2O0I0nS0BinHTJ\nxl1HVO61iKUSL05w8WuRaLDj4QqMo4VeOunqVdQwbQsAee0OLn7tErXYHu6piKUSL05qroGBZ0r2\nqFyh9MkO9vGvOZbdedsyEKmTmy6lcce8LdyFxctdi1gqseIEDxB+vO7L5Xq621d7wSknvYLKBfsS\nNxwsY5ceX1zK4EYllVhxksLVwIvYEHu5/IaY+OOk8/4VtBAzIW7MjIsMrPyr2GvzcqOWSqw4qeNK\niCX8kc6dnIg/ztqLKEE4y+9K2+k3Q7SQaKGPdG5kUokVJ0QUhq/UY3C5EgWr+DkHtmD2NOkpRdxD\ngWeHzo1MKnHiJEcAGZtcOpeg939KpR9vjpv5Dc1jd9tTbDRx+6iJTTDhn9G5kUklTpykCFWKTS6d\n64ml6TQqu6oHb7fs/NR5+XFiYMtAOBN0bmRSiRMnXSLqxSaXzsXEvOR3fyxRMCSEc2T3tpS/DrJI\n7FVgZ4LOjU4qceKkSqSf8TDoXMLNu0gXyHC0dIIwuxVrBWZmoq38IrFXgf0zOjc6qcSJkxY+/EiY\nXDqXa10Sjh9cgUtgFuogl4hcF/bP6NzopBIjTnSi4yc2uXQuX3jpumeOau1L1E3MNyDZHvfP6Nzo\npBIjThJUk5sIMMShKYn1UsZW2t2ZuPamTPXPygFe27SlEiNOclSTmwswxKGJqDV2lHZ7Ji4HalL9\ns2aA1zZtqcSIE7JoAJtcOpcv6iYSStB5q8/EFd1E0QDhn9G50UklRpykvYmSHpXL/3h8S5+bSaqK\nNA2JjGqeRMkRlXstcqnEiJMFIkSzo/rE/aPcQ4fL5w+6CSXnsr9qPMeNJ6QSLiVYsjNgd/VGuesO\nNzqpxIuTXRz6QHAs3Rrl7jpcPokQgdWmrWFPzAROVvErQHC0OqPcVYcbnVRixMki7kXnFEX0r41y\nrztcPg2LHeZtR9Gekx8nVdyIyd6L0cEYd8XhRieVeP3Y69hVgYa4fYrF5fLYBlhRP+m8FSmRrpxX\natWx827fPZ/fYXKjk0qMOCniUM/p6l9aG+Wed7hcmYIBfscV53kE5AqGnDjp4ryAfQXEwv4od+hy\no5NKnHl7nEKu2TbS2BzlnnO5XGbNMcTuSdq0Z2P0qqTnvHBEkrYtQ+rmKHfP5UYnFSZOIpAiasSb\nszPIicEYd83lcqmrnisI26EvkAGl3nhZTpwsIE/EmRurgaSHu6+htpJRSaVJzdpGg5Ouu7HQtu/s\nWthlczmo4azAsnOMDkIQJ6hODnty4qToxh/uneylVSY3OqnEiZMlRwcmwD9biOjfZHM5qGlLFh1C\nhR3nd7ATLe29qC1nfZcPahARul0+TedGJhU6TvqRXGtecGxuc79oWZjaKTaXy2VzTh0c9nCg7Rj5\nfGNXVpiYi/SGbXbXunBu0js+3MikQsfJciQ4MS0L7MDxgak1KibKE84SoXM5YGgc2l7OKvGDto+c\nax1uSouTvHX+Vy8dmHNqmuDyTR9uZFKps3AyiEYiG9rPwffhNuYNrb3vx+WgK+BFLdECD2JOwgB3\naNqHT4FDaQ/vWPP2mFaoDTuWM5F3qyzo3KikUqVe0JGNqPLrl7D9EwSCXjI/rPlyJyfzzwcAvDQS\nFg7OAvDAisQw0Qot65ZsS6kO0DKmc6OSSoW6SZ0E07xjiKD/vTz4omUnE88OPxPA5RD4141Hv+Fl\nJZ41hq9/R5Obis8aD71mffp867sdf25EUmlQD29kwDQvj1E0ewSo1QdFkfvmFc0f5QF9V9mYidIv\nRVFRktFApyZSg6lo7qjPCIC3JG4joyh6qjP0xoJyZBURsTRg+CFFoBwURYjSzDPItUh2AhXNBrWZ\n+zhZZXgUIbNjMI8MQcNzQ0lIEaSPfVpftMG8XoalaFJq+RxVz4GZOI2raPq0BPyOgtWVh6IIUqHh\nG9NAhbKtpKToZMBm33vm/39Qiem4E8yd+PYNLZjuC/i0EtTxprwReLMIrEIB31KiOs6UgMrihwFf\n+hmQ+fYRRRFQxUTAI4HfuhvgY/KKjiHBDcC9XvD33lSx8fGOic2YN5RBufNPlN05znT63yja5P8B\nJyLTMZt/X3gAAAAASUVORK5CYII=\n",
      "text/plain": [
       "Output"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "solve_linear_system(M, x, y)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {
    "podoc": {
     "output_text": "Output"
    }
   },
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAQIAAAA7BAMAAABiY5myAAAAMFBMVEX////c3NxmZmaYmJh2dnbM\nzMxERESIiIju7u66uroyMjIQEBAiIiJUVFSqqqoAAABTunEjAAAAAXRSTlMAQObYZgAAAAlwSFlz\nAAAOxAAADsQBlSsOGwAABLNJREFUWMPFWU1sE0cUHjs2OCExHCo45EDOSMg5Vr04p17jA/dwozen\nFYdKrWRfKKraKG6EOECFDadIkbB7QSlI2Z4qVFQlJ6qqlRypopcWmsSNnWQ3eezszNs3uzsOZGYR\n7zT64rfz5v18782EsbeQG/euP1/ZYWZy46/Pnj8zVZaSBS6HZsoTgXLfzoIzwUd6NsoDOwtGr192\nALZtlHeZrfgn6dgob6VhwYax8lmAq9YWLAJMGytfBJi3tuA/gHPGymWAirUFJXBtlMHaALZuSgdC\nuW9tQMGYDoTywNqCojEdCGV7Osja0EE2DToYt6loX7mVBh3M2yjPpEEHFRvlRgp0AO+dDvo2ygdp\n0MHARvn/NOhg10Z5Pw062Hr3yi+fHfw+DLWng8LH648/jeI3/3S8a9RwC18AOPAJY1/X1RBK1JoO\nMl1wAaZU+G8A14F+aEINDivse6+ei8QMUWs6KLufswvgKiPGP+D6Prni4HZfgcdJo9oqq2UXorZ0\nsBCQYhN+CMHz0qtZebRRRzD3eE8tfD1qQAde9Ue+OEW8MAKwLO0TLWMOvCD8o6DWropa0QF9B7Np\nVh4p84fo+nmAVbSX8iCCWtEBet/BFp/F2poEOBKHxdZRA9gjFyioFR1gGrfFdox1wUNEQDQE+rv+\nlBwN52zoYAxwX1aVvj+NPs2AmL2yobv5ZD9Ftq+mMe8vkvlYUk0cGHiGdVQgWDZoqUFPLr7yJkPn\nB5eOjIOjP8/SRpAg4W1kFgA5MYqaF6OiXBX7naLSqsGaiEpYp+1wqUcNRFFeF+5oUrpnXshLKaYK\nIzrQo3bTAYjL53qsQ/BbHZo0SnSgR0nyr/TyXfz5gE4io84JInoHdWiYzlHh61GVa4dILGdzkZNw\nZvC7tRc9DFCtjYXb6lFFhhkQr9sxYhjfGJ7nF+NBzRFn8aeGmeNQRb509Ab8fC7xeoFB92sABMPu\nx410WaLw9aiBzBEdnBXl1Y4HdVF5p6Pa1aMGUqO0E+7n+bgR56xBsnb1qIFUyZe1oB3kE7lSVlov\n5YgetbvrtIMmUEzUi9J6lcLXowbiRAhpKiBbqMfHuFaydktvoIO3FiIkyUQ5iD9JdalcZO3ersfR\nlkSNSBkPNSGSOwfxtOpStS+KbduVODojUSMLtug726LlHSa653SklRcggTYkahSFLUruDRGMnUTB\nNij4vquL/aGoUSZ2wlJw62IyUy3I9zhpVcJf8xyZGAgqI9RD1IgPOuEVYV9+Tz3MZI9z5WY4GfII\nndkWDEroDqJGI5KMwjeY2yW1NRacFk/R6TBQvHabHZG4hA4QNeoLexjMg5Cc6c/f+peZPNJ0Uf4f\npTsjurMGNbq7HyGvPQ2rskEXw6dBhgg/NXslvldBdBI9enIZkbWHV0DueLp91PrCK0fip/Nz3N/Z\nPhuOGqWinNCXqRciTf4rSKcY3OsL3Z4/Qvj2NrfZcNRAJgNGLSvdrYhZ/hHcxyeGNZYpeRXeyDaL\n2Dr16Mkl43gNdgdcpR/ehcMGK9yqwkP8TZs/sfAtFvzF4FjUQBb4S5A3HePhJz750LtV/pLz6MNg\ntdT+tXI8aiAfrLgPYmPe0gr88pv85muzz06yrqPmqAAAAABJRU5ErkJggg==\n",
      "text/plain": [
       "Output"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "det(M[:2, :2])"
   ]
  }
 ],
 "metadata": {},
 "nbformat": 4,
 "nbformat_minor": 2
}
